Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
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