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.

`>>>`

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

`>>>`

1`conjugate 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) |