Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 Source #
Number literals, convertible through the generic Integer type.
all number are Enum'erable, meaning that you can move to next element
Instances
class IsIntegral a => IsNatural a where Source #
Non Negative Number literals, convertible through the generic Natural type
Instances
IsNatural Natural Source # | |
IsNatural Word Source # | |
IsNatural Word8 Source # | |
IsNatural Word16 Source # | |
IsNatural Word32 Source # | |
IsNatural Word64 Source # | |
IsNatural CUChar Source # | |
IsNatural CUShort Source # | |
IsNatural CUInt Source # | |
IsNatural CULong Source # | |
IsNatural CULLong Source # | |
IsNatural CSize Source # | |
IsNatural CUIntPtr Source # | |
IsNatural CUIntMax Source # | |
IsNatural Word128 Source # | |
IsNatural Word256 Source # | |
KnownNat n => IsNatural ( Zn n) Source # | |
( KnownNat n, NatWithinBound Word64 n) => IsNatural ( Zn64 n) Source # | |
IsNatural ( CountOf ty) Source # | |
IsNatural ( Offset ty) Source # | |