Safe Haskell	None
Language	Haskell2010

Basement.Numerical.Number

Synopsis

Documentation

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

Number literals, convertible through the generic Integer type.

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

Minimal complete definition

Methods

Instances

IsIntegral Int #
Methods toInteger :: Int -> Integer #
IsIntegral Int8 #
Methods toInteger :: Int8 -> Integer #
IsIntegral Int16 #
Methods toInteger :: Int16 -> Integer #
IsIntegral Int32 #
Methods toInteger :: Int32 -> Integer #
IsIntegral Int64 #
Methods toInteger :: Int64 -> Integer #
IsIntegral Integer #
Methods toInteger :: Integer -> Integer #
IsIntegral Word #
Methods toInteger :: Word -> Integer #
IsIntegral Word8 #
Methods toInteger :: Word8 -> Integer #
IsIntegral Word16 #
Methods toInteger :: Word16 -> Integer #
IsIntegral Word32 #
Methods toInteger :: Word32 -> Integer #
IsIntegral Word64 #
Methods toInteger :: Word64 -> Integer #
IsIntegral Natural #
Methods toInteger :: Natural -> Integer #
IsIntegral CSize #
Methods toInteger :: CSize -> Integer #
IsIntegral Word128 #
Methods toInteger :: Word128 -> Integer #
IsIntegral Word256 #
Methods toInteger :: Word256 -> Integer #
IsIntegral (CountOf ty) #
Methods toInteger :: CountOf ty -> Integer #
IsIntegral (Offset ty) #
Methods toInteger :: Offset ty -> Integer #

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

Non Negative Number literals, convertible through the generic Natural type

Minimal complete definition

Methods

Instances

IsNatural Word #
Methods toNatural :: Word -> Natural #
IsNatural Word8 #
Methods toNatural :: Word8 -> Natural #
IsNatural Word16 #
Methods toNatural :: Word16 -> Natural #
IsNatural Word32 #
Methods toNatural :: Word32 -> Natural #
IsNatural Word64 #
Methods toNatural :: Word64 -> Natural #
IsNatural Natural #
Methods toNatural :: Natural -> Natural #
IsNatural CSize #
Methods toNatural :: CSize -> Natural #
IsNatural Word128 #
Methods toNatural :: Word128 -> Natural #
IsNatural Word256 #
Methods toNatural :: Word256 -> Natural #
IsNatural (CountOf ty) #
Methods toNatural :: CountOf ty -> Natural #
IsNatural (Offset ty) #
Methods toNatural :: Offset ty -> Natural #