algebra-3.1: Constructive abstract algebra

Safe Haskell | None

Numeric.Semiring.Involutive

Synopsis

- class (Semiring r, InvolutiveMultiplication r) => InvolutiveSemiring r

# Documentation

class (Semiring r, InvolutiveMultiplication r) => InvolutiveSemiring r Source

adjoint (x + y) = adjoint x + adjoint y

Instances

InvolutiveSemiring Bool |
InvolutiveSemiring Int |
InvolutiveSemiring Int8 |
InvolutiveSemiring Int16 |
InvolutiveSemiring Int32 |
InvolutiveSemiring Int64 |
InvolutiveSemiring Integer |
InvolutiveSemiring Word |
InvolutiveSemiring Word8 |
InvolutiveSemiring Word16 |
InvolutiveSemiring Word32 |
InvolutiveSemiring Word64 |
InvolutiveSemiring () |
InvolutiveSemiring Natural |
InvolutiveSemiring Euclidean |
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Complex r) |
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r) |
(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveSemiring (Hyper' r) |
(Commutative r, Group r, InvolutiveSemiring r) => InvolutiveSemiring (Hyper r) |
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual' r) |
(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Trig r) |
(InvolutiveSemiring a, InvolutiveSemiring b) => InvolutiveSemiring (a, b) |
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c) => InvolutiveSemiring (a, b, c) |
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d) => InvolutiveSemiring (a, b, c, d) |
(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d, InvolutiveSemiring e) => InvolutiveSemiring (a, b, c, d, e) |