algebra-3.1: Constructive abstract algebra

Safe Haskell | None

Numeric.Rig.Characteristic

# Documentation

class Rig r => Characteristic r where Source

Methods

char :: proxy r -> Natural 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 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) |

charInt :: (Integral s, Bounded s) => proxy s -> Natural Source

charWord :: (Whole s, Bounded s) => proxy s -> Natural Source