| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Numeric.Rig.Characteristic
Documentation
class Rig r => Characteristic r where Source
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 | |
| (Characteristic d, Euclidean d) => Characteristic (Fraction d) | |
| (Characteristic a, Characteristic b) => Characteristic (a, b) | |
| (Characteristic a, Characteristic b, Characteristic c) => Characteristic (a, b, c) | |
| (Characteristic a, Characteristic b, Characteristic c, Characteristic d) => Characteristic (a, b, c, d) | |
| (Characteristic a, Characteristic b, Characteristic c, Characteristic d, Characteristic e) => Characteristic (a, b, c, d, e) |