Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Inferred |
Involutive rings
Documentation
class Num a => Conjugate a whereSource
An involutive ring
Conjugate a value. This defaults to the trivial involution.
>>>
conjugate (1 :+ 2)
1.0 :+ (-2.0)
>>>
conjugate 1
1
Conjugate Double | |
Conjugate Float | |
Conjugate Int | |
Conjugate Int8 | |
Conjugate Int16 | |
Conjugate Int32 | |
Conjugate Int64 | |
Conjugate Integer | |
Conjugate Word | |
Conjugate Word8 | |
Conjugate Word16 | |
Conjugate Word32 | |
Conjugate Word64 | |
(Num (Complex a), Conjugate a, RealFloat a) => Conjugate (Complex a) | |
(Num (Quaternion a), Conjugate a, RealFloat a) => Conjugate (Quaternion a) |