Copyright | (C) 2012-2015 Edward Kmett |
---|---|

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

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

Stability | experimental |

Portability | non-portable |

Safe Haskell | Safe |

Language | Haskell98 |

Involutive rings

## Synopsis

- class Num a => Conjugate a where
- class Conjugate a => TrivialConjugate a

# Documentation

class Num a => Conjugate a where Source #

An involutive ring

Conjugate a value. This defaults to the trivial involution.

`>>>`

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

`>>>`

1`conjugate 1`

conjugate :: TrivialConjugate a => a -> a Source #

Conjugate a value. This defaults to the trivial involution.

`>>>`

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

`>>>`

1`conjugate 1`

## Instances

Conjugate Double Source # | |

Conjugate Float Source # | |

Conjugate Int Source # | |

Conjugate Int8 Source # | |

Conjugate Int16 Source # | |

Conjugate Int32 Source # | |

Conjugate Int64 Source # | |

Conjugate Integer Source # | |

Conjugate Word Source # | |

Conjugate Word8 Source # | |

Conjugate Word16 Source # | |

Conjugate Word32 Source # | |

Conjugate Word64 Source # | |

Conjugate CFloat Source # | |

Conjugate CDouble Source # | |

(Conjugate a, RealFloat a) => Conjugate (Complex a) Source # | |

(Conjugate a, RealFloat a) => Conjugate (Quaternion a) Source # | |

Defined in Linear.Quaternion conjugate :: Quaternion a -> Quaternion a Source # |

class Conjugate a => TrivialConjugate a Source #

## Instances

TrivialConjugate Double Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Float Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Int Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Int8 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Int16 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Int32 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Int64 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Integer Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Word Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Word8 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Word16 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Word32 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate Word64 Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate CFloat Source # | |

Defined in Linear.Conjugate | |

TrivialConjugate CDouble Source # | |

Defined in Linear.Conjugate |