| Safe Haskell | None |
|---|
Numeric.Rig.Characteristic
Documentation
class Rig r => Characteristic r whereSource
Instances
| Characteristic Bool | NB: we're using the boolean semiring, not the boolean ring |
| Characteristic Int | |
| Characteristic Int8 | |
| Characteristic Int16 | |
| Characteristic Int32 | |
| Characteristic Int64 | |
| Characteristic Integer | |
| Characteristic Word | |
| Characteristic Word8 | |
| Characteristic Word16 | |
| Characteristic Word32 | |
| Characteristic Word64 | |
| Characteristic () | |
| Characteristic Natural | |
| (Rig (a, b), Characteristic a, Characteristic b) => Characteristic (a, b) | |
| (Rig (a, b, c), Characteristic a, Characteristic b, Characteristic c) => Characteristic (a, b, c) | |
| (Rig (a, b, c, d), Characteristic a, Characteristic b, Characteristic c, Characteristic d) => Characteristic (a, b, c, d) | |
| (Rig (a, b, c, d, e), Characteristic a, Characteristic b, Characteristic c, Characteristic d, Characteristic e) => Characteristic (a, b, c, d, e) |