basement-0.0.16: Foundation scrap box of array & string
Safe HaskellSafe-Inferred
LanguageHaskell2010

Basement.Numerical.Number

Synopsis

Documentation

class (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 Source #

Instances

Instances details
IsIntegral CBool Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CChar Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CInt Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CIntMax Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CIntPtr Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CLLong Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CLong Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CPtrdiff Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CSChar Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CShort Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CSigAtomic Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CSize Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CUChar Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CUInt Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CUIntMax Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CUIntPtr Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CULLong Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CULong Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CUShort Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral CWchar Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Int16 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Int32 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Int64 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Int8 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Word16 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Word32 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Word64 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Word8 Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Word128 Source # 
Instance details

Defined in Basement.Types.Word128

IsIntegral Word256 Source # 
Instance details

Defined in Basement.Types.Word256

IsIntegral Integer Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Natural Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Int Source # 
Instance details

Defined in Basement.Numerical.Number

IsIntegral Word Source # 
Instance details

Defined in Basement.Numerical.Number

KnownNat n => IsIntegral (Zn n) Source # 
Instance details

Defined in Basement.Bounded

Methods

toInteger :: Zn n -> Integer Source #

(KnownNat n, NatWithinBound Word64 n) => IsIntegral (Zn64 n) Source # 
Instance details

Defined in Basement.Bounded

Methods

toInteger :: Zn64 n -> Integer Source #

IsIntegral (CountOf ty) Source # 
Instance details

Defined in Basement.Types.OffsetSize

Methods

toInteger :: CountOf ty -> Integer Source #

IsIntegral (Offset ty) Source # 
Instance details

Defined in Basement.Types.OffsetSize

Methods

toInteger :: Offset ty -> Integer Source #

class IsIntegral a => IsNatural a where Source #

Non Negative Number literals, convertible through the generic Natural type

Methods

toNatural :: a -> Natural Source #

Instances

Instances details
IsNatural CSize Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CUChar Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CUInt Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CUIntMax Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CUIntPtr Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CULLong Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CULong Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural CUShort Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Word16 Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Word32 Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Word64 Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Word8 Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Word128 Source # 
Instance details

Defined in Basement.Types.Word128

IsNatural Word256 Source # 
Instance details

Defined in Basement.Types.Word256

IsNatural Natural Source # 
Instance details

Defined in Basement.Numerical.Number

IsNatural Word Source # 
Instance details

Defined in Basement.Numerical.Number

KnownNat n => IsNatural (Zn n) Source # 
Instance details

Defined in Basement.Bounded

Methods

toNatural :: Zn n -> Natural Source #

(KnownNat n, NatWithinBound Word64 n) => IsNatural (Zn64 n) Source # 
Instance details

Defined in Basement.Bounded

Methods

toNatural :: Zn64 n -> Natural Source #

IsNatural (CountOf ty) Source # 
Instance details

Defined in Basement.Types.OffsetSize

Methods

toNatural :: CountOf ty -> Natural Source #

IsNatural (Offset ty) Source # 
Instance details

Defined in Basement.Types.OffsetSize

Methods

toNatural :: Offset ty -> Natural Source #