Portability | Haskell 98 |
---|---|
Stability | stable |
Maintainer | haskell@henning-thielemann.de |
Numeric.NonNegative.Class
Description
A type class for non-negative numbers.
Prominent instances are Numeric.NonNegative.Wrapper.T
and peano numbers.
This class cannot do any checks,
but it let you show to the user what arguments your function expects.
In fact many standard functions (take
, '(!!)', ...)
should have this type class constraint.
Thus you must define class instances with care.