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 && <5), QuickCheck (>=1.0 && <3) [details]
License GPL
Author Henning Thielemann <>
Maintainer Henning Thielemann <>
Stability Unknown
Category Math
Home page
Uploaded Fri Feb 5 13:47:02 UTC 2010 by HenningThielemann
Distributions Debian:0.1.1, NixOS:0.1.1
Downloads 3765 total (27 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




splitbaseChoose the new smaller, split-up base package.EnabledAutomatic
buildtestsBuild test executablesDisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees