| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Safe Haskell | Safe-Inferred |
Linear.Conjugate
Description
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
Methods
Conjugate a value. This defaults to the trivial involution.
>>>conjugate (1 :+ 2)1.0 :+ (-2.0)
>>>conjugate 11
Instances
| 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
Instances
| 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 |