Basement.Numerical.Number · basement-0.0.16

classclass (Integral a, Eq a, Ord a) => IsIntegral a where

Source#

Number literals, convertible through the generic Integer type.

all number are Enum'erable, meaning that you can move to next element

Methods

toInteger :: a -> Integer

Instances38IsIntegral, …

IsIntegral Word128Defined in basement-0.0.16 · Basement.Types.Word128
IsIntegral Word256Defined in basement-0.0.16 · Basement.Types.Word256
IsIntegral IntegerDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral NaturalDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CBoolDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CCharDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CIntDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CIntMaxDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CIntPtrDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CLLongDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CLongDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CPtrdiffDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CSCharDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CShortDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CSigAtomicDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CSizeDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CUCharDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CUIntDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CUIntMaxDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CUIntPtrDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CULLongDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CULongDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CUShortDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral CWcharDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Int16Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Int32Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Int64Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Int8Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral IntDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral WordDefined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Word16Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Word32Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Word64Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral Word8Defined in basement-0.0.16 · Basement.Numerical.Number
IsIntegral (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSize
IsIntegral (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSize
KnownNat n => IsIntegral (Zn n)Defined in basement-0.0.16 · Basement.Bounded
(KnownNat n, NatWithinBound Word64 n) => IsIntegral (Zn64 n)Defined in basement-0.0.16 · Basement.Bounded

classclass IsIntegral a => IsNatural a where

Source#

Non Negative Number literals, convertible through the generic Natural type

Methods

toNatural :: a -> Natural

Instances20IsNatural, …

IsNatural Word128Defined in basement-0.0.16 · Basement.Types.Word128
IsNatural Word256Defined in basement-0.0.16 · Basement.Types.Word256
IsNatural NaturalDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CSizeDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CUCharDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CUIntDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CUIntMaxDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CUIntPtrDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CULLongDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CULongDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural CUShortDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural WordDefined in basement-0.0.16 · Basement.Numerical.Number
IsNatural Word16Defined in basement-0.0.16 · Basement.Numerical.Number
IsNatural Word32Defined in basement-0.0.16 · Basement.Numerical.Number
IsNatural Word64Defined in basement-0.0.16 · Basement.Numerical.Number
IsNatural Word8Defined in basement-0.0.16 · Basement.Numerical.Number
IsNatural (CountOf ty)Defined in basement-0.0.16 · Basement.Types.OffsetSize
IsNatural (Offset ty)Defined in basement-0.0.16 · Basement.Types.OffsetSize
KnownNat n => IsNatural (Zn n)Defined in basement-0.0.16 · Basement.Bounded
(KnownNat n, NatWithinBound Word64 n) => IsNatural (Zn64 n)Defined in basement-0.0.16 · Basement.Bounded