Copyright | (C) 2012-2013 Edward Kmett, |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Stability | experimental |

Portability | non-portable |

Safe Haskell | Safe-Inferred |

Language | Haskell98 |

Involutive rings

- class Num a => Conjugate a where
- conjugate :: a -> a

- class Conjugate a => TrivialConjugate a

# Documentation

class Num a => Conjugate a where Source

An involutive ring

Nothing

Conjugate a value. This defaults to the trivial involution.

`>>>`

1.0 :+ (-2.0)`conjugate (1 :+ 2)`

`>>>`

1`conjugate 1`

class Conjugate a => TrivialConjugate a Source