| 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) # | |