Safe Haskell	Safe
Language	Haskell98

Numeric.Rig.Characteristic

Documentation

class Rig r => Characteristic r where #

Minimal complete definition

char

Methods

char :: proxy r -> Natural #

Instances

Characteristic Bool #	NB: we're using the boolean semiring, not the boolean ring
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Bool -> Natural #
Characteristic Int #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Int -> Natural #
Characteristic Int8 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Int8 -> Natural #
Characteristic Int16 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Int16 -> Natural #
Characteristic Int32 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Int32 -> Natural #
Characteristic Int64 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Int64 -> Natural #
Characteristic Integer #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Integer -> Natural #
Characteristic Natural #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Natural -> Natural #
Characteristic Word #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Word -> Natural #
Characteristic Word8 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Word8 -> Natural #
Characteristic Word16 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Word16 -> Natural #
Characteristic Word32 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Word32 -> Natural #
Characteristic Word64 #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy Word64 -> Natural #
Characteristic () #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy () -> Natural #
(Characteristic d, GCDDomain d) => Characteristic (Fraction d) #
Instance details Defined in Numeric.Field.Fraction Methods char :: proxy (Fraction d) -> Natural #
(Characteristic a, Characteristic b) => Characteristic (a, b) #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy (a, b) -> Natural #
(Characteristic a, Characteristic b, Characteristic c) => Characteristic (a, b, c) #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy (a, b, c) -> Natural #
(Characteristic a, Characteristic b, Characteristic c, Characteristic d) => Characteristic (a, b, c, d) #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy (a, b, c, d) -> Natural #
(Characteristic a, Characteristic b, Characteristic c, Characteristic d, Characteristic e) => Characteristic (a, b, c, d, e) #
Instance details Defined in Numeric.Rig.Characteristic Methods char :: proxy (a, b, c, d, e) -> Natural #

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

charWord :: (Integral s, Bounded s) => proxy s -> Natural #