- class (Rig r, InvolutiveMultiplication r) => Involutive r
Documentation
class (Rig r, InvolutiveMultiplication r) => Involutive r Source
adjoint (x + y) = adjoint x + adjoint y
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) |