Numeric.Semiring.Involutive

Documentation

class (Rig r, InvolutiveMultiplication r) => Involutive r

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

Instances

Involutive Int

Involutive Int8

Involutive Int16

Involutive Int32

Involutive Int64

Involutive Integer

Involutive Word

Involutive Word8

Involutive Word16

Involutive Word32

Involutive Word64

Involutive ()

Involutive Natural

(Involutive a, Involutive b) => Involutive (a, b)

(Involutive a, Involutive b, Involutive c) => Involutive (a, b, c)

(Involutive a, Involutive b, Involutive c, Involutive d) => Involutive (a, b, c, d)

(Involutive a, Involutive b, Involutive c, Involutive d, Involutive e) => Involutive (a, b, c, d, e)