Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Safe-Inferred |
Involutive rings
- class Num a => Conjugate a where
- conjugate :: a -> a
- class Conjugate a => TrivialConjugate a
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 | |
Conjugate CFloat | |
Conjugate CDouble | |
(Conjugate a, RealFloat a) => Conjugate (Complex a) | |
(Conjugate a, RealFloat a) => Conjugate (Quaternion a) |
class Conjugate a => TrivialConjugate a Source
Requires and provides a default definition such that
conjugate
=id
TrivialConjugate Double | |
TrivialConjugate Float | |
TrivialConjugate Int | |
TrivialConjugate Int8 | |
TrivialConjugate Int16 | |
TrivialConjugate Int32 | |
TrivialConjugate Int64 | |
TrivialConjugate Integer | |
TrivialConjugate Word | |
TrivialConjugate Word8 | |
TrivialConjugate Word16 | |
TrivialConjugate Word32 | |
TrivialConjugate Word64 | |
TrivialConjugate CFloat | |
TrivialConjugate CDouble |