Safe Haskell | None |
---|---|
Language | Haskell2010 |
Basement.Numerical.Number
- class (Integral a, Eq a, Ord a) => IsIntegral a where
- class IsIntegral a => IsNatural a where
Documentation
class (Integral a, Eq a, Ord 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
Instances
class IsIntegral a => IsNatural a where #
Non Negative Number literals, convertible through the generic Natural type
Minimal complete definition
Instances
IsNatural Word # | |
IsNatural Word8 # | |
IsNatural Word16 # | |
IsNatural Word32 # | |
IsNatural Word64 # | |
IsNatural Natural # | |
IsNatural CUChar # | |
IsNatural CUShort # | |
IsNatural CUInt # | |
IsNatural CULong # | |
IsNatural CULLong # | |
IsNatural CSize # | |
IsNatural CUIntPtr # | |
IsNatural CUIntMax # | |
IsNatural Word128 # | |
IsNatural Word256 # | |
KnownNat n => IsNatural (Zn n) # | |
(KnownNat n, NatWithinBound Word64 n) => IsNatural (Zn64 n) # | |
IsNatural (CountOf ty) # | |
IsNatural (Offset ty) # | |