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 (>=2.1 && <3), utility-ht (>=0.0.1 && <0.1) [details]
License GPL
Author Henning Thielemann <>
Maintainer Henning Thielemann <>
Stability Unknown
Category Math
Home page
Source repository this: darcs get --tag 0.1.1
head: darcs get
Uploaded Tue Jun 10 07:38:48 UTC 2014 by HenningThielemann
Distributions Debian:0.1.1, NixOS:0.1.1
Downloads 3765 total (27 in the last 30 days)
0 []
Status Docs available [build log]
Successful builds reported [all 1 reports]




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

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