LicenseRef-GPL licensed and maintained by Henning Thielemann
This version can be pinned in stack with:non-negative-0.1.2.1@sha256:df55e1f10cc406cf97aa5e94bbc073b4573847654b4ea2be2d8ac3b0249e3364,1699

Module documentation for 0.1.2.1

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.