Safe Haskell | None |
---|
Documentation
class Rig r => Characteristic r whereSource
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 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) |