non-negative-0.0.5.1: Non-negative numbers Contents Index

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

Numeric NonNegative Numeric.NonNegative.Chunky Numeric.NonNegative.ChunkyPrivate Numeric.NonNegative.Class Numeric.NonNegative.Wrapper

Produced by Haddock version 2.6.0