Numeric.Semiring.Involutive

Documentation

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

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

Instances

InvolutiveSemiring Bool

InvolutiveSemiring Int

InvolutiveSemiring Int8

InvolutiveSemiring Int16

InvolutiveSemiring Int32

InvolutiveSemiring Int64

InvolutiveSemiring Integer

InvolutiveSemiring Natural

InvolutiveSemiring Word

InvolutiveSemiring Word8

InvolutiveSemiring Word16

InvolutiveSemiring Word32

InvolutiveSemiring Word64

InvolutiveSemiring ()

InvolutiveSemiring Euclidean

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Trig r)

(Commutative r, Group r, InvolutiveSemiring r) => InvolutiveSemiring (Hyper r)

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual' r)

(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveSemiring (Hyper' r)

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r)

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Complex 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)