basement-0.0.7: Foundation scrap box of array & string

Safe HaskellNone
LanguageHaskell2010

Basement.Numerical.Number

Synopsis

Documentation

class (Enum a, Eq a, Ord a, Integral 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

Minimal complete definition

toInteger

Methods

toInteger :: a -> Integer Source #

Instances
IsIntegral Int Source # 
Instance details
IsIntegral Int8 Source # 
Instance details
IsIntegral Int16 Source # 
Instance details
IsIntegral Int32 Source # 
Instance details
IsIntegral Int64 Source # 
Instance details
IsIntegral Integer Source # 
Instance details
IsIntegral Natural Source # 
Instance details
IsIntegral Word Source # 
Instance details
IsIntegral Word8 Source # 
Instance details
IsIntegral Word16 Source # 
Instance details
IsIntegral Word32 Source # 
Instance details
IsIntegral Word64 Source # 
Instance details
IsIntegral CChar Source # 
Instance details
IsIntegral CSChar Source # 
Instance details
IsIntegral CUChar Source # 
Instance details
IsIntegral CShort Source # 
Instance details
IsIntegral CUShort Source # 
Instance details
IsIntegral CInt Source # 
Instance details
IsIntegral CUInt Source # 
Instance details
IsIntegral CLong Source # 
Instance details
IsIntegral CULong Source # 
Instance details
IsIntegral CLLong Source # 
Instance details
IsIntegral CULLong Source # 
Instance details
IsIntegral CBool Source # 
Instance details
IsIntegral CPtrdiff Source # 
Instance details
IsIntegral CSize Source # 
Instance details
IsIntegral CWchar Source # 
Instance details
IsIntegral CSigAtomic Source # 
Instance details
IsIntegral CIntPtr Source # 
Instance details
IsIntegral CUIntPtr Source # 
Instance details
IsIntegral CIntMax Source # 
Instance details
IsIntegral CUIntMax Source # 
Instance details
IsIntegral Word128 Source # 
Instance details
IsIntegral Word256 Source # 
Instance details
IsIntegral (CountOf ty) Source # 
Instance details

Methods

toInteger :: CountOf ty -> Integer Source #

IsIntegral (Offset ty) Source # 
Instance details

Methods

toInteger :: Offset ty -> Integer Source #

class (Enum a, Eq a, Ord a, Integral a, IsIntegral a) => IsNatural a where Source #

Non Negative Number literals, convertible through the generic Natural type

Minimal complete definition

toNatural

Methods

toNatural :: a -> Natural Source #

Instances
IsNatural Natural Source # 
Instance details
IsNatural Word Source # 
Instance details
IsNatural Word8 Source # 
Instance details
IsNatural Word16 Source # 
Instance details
IsNatural Word32 Source # 
Instance details
IsNatural Word64 Source # 
Instance details
IsNatural CUChar Source # 
Instance details
IsNatural CUShort Source # 
Instance details
IsNatural CUInt Source # 
Instance details
IsNatural CULong Source # 
Instance details
IsNatural CULLong Source # 
Instance details
IsNatural CSize Source # 
Instance details
IsNatural CUIntPtr Source # 
Instance details
IsNatural CUIntMax Source # 
Instance details
IsNatural Word128 Source # 
Instance details
IsNatural Word256 Source # 
Instance details
IsNatural (CountOf ty) Source # 
Instance details

Methods

toNatural :: CountOf ty -> Natural Source #

IsNatural (Offset ty) Source # 
Instance details

Methods

toNatural :: Offset ty -> Natural Source #