Numeric.Rig.Characteristic

Documentation

class Rig r => Characteristic r where

Methods

char :: Proxy r -> Natural

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

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

frobenius :: Characteristic r => End r