non-negative-0.0.5.1: Non-negative numbersContentsIndex
non-negative-0.0.5.1: Non-negative numbers
Provides a class for non-negative numbers, a wrapper which can turn any ordered numeric type into a member of that class, and a lazy number type for non-negative numbers (a generalization of Peano numbers). This library is used by the 'event-list' package.
Modules
show/hideNumeric
show/hideNonNegative
Numeric.NonNegative.Chunky
Numeric.NonNegative.ChunkyPrivate
Numeric.NonNegative.Class
Numeric.NonNegative.Wrapper
Produced by Haddock version 2.6.0