Safe Haskell	Safe
Language	Haskell98

Numeric.Rig.Characteristic

Documentation

class Rig r => Characteristic r where Source #

Minimal complete definition

char

Methods

char :: proxy r -> Natural Source #

Instances

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

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

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