The non-negative package

[Tags:gpl, library, test]

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.


Versions 0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.5,, 0.0.6, 0.1, 0.1.1
Dependencies base (>=1.0), QuickCheck [details]
License GPL
Author Henning Thielemann <>
Maintainer Henning Thielemann <>
Stability Unknown
Category Math
Home page
Uploaded Mon Feb 18 07:50:04 UTC 2008 by HenningThielemann
Distributions Debian:0.1.1, NixOS:0.1.1
Downloads 3758 total (21 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees