The natural-numbers package
This package provides a type of all natural numbers, that is, non-negative integers.
In contrast to the naturals package, it does not use an “indeterminate value” to represent underflows, but raises errors on underflows. We think this is more reasonable, as this “indeterminate value” is not really a natural.
Properties
| Versions | 0.0.0.0, 0.0.1.0, 0.0.1.1, 0.0.1.2, 0.0.1.3, 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.1.0, 0.1.1.1, 0.1.2.0 |
|---|---|
| Dependencies | base (>=3.0 && <5) [details] |
| License | BSD3 |
| Copyright | © 2010 Brandenburgische Technische Universität Cottbus; © 2012 Wolfgang Jeltsch |
| Author | Wolfgang Jeltsch |
| Maintainer | wolfgang@cs.ioc.ee |
| Stability | provisional |
| Category | Data, Math |
| Home page | http://darcs.wolfgang.jeltsch.info/haskell/natural-numbers |
| Source repository | head: darcs get http://darcs.wolfgang.jeltsch.info/haskell/natural-numbers/main this: darcs get http://darcs.wolfgang.jeltsch.info/haskell/natural-numbers/main --tag natural-numbers-0.1.0.3 |
| Uploaded | Wed Mar 21 08:39:39 UTC 2012 by WolfgangJeltsch |
| Distributions | NixOS:0.1.2.0 |
| Downloads | 2425 total (18 in the last 30 days) |
| Votes | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Downloads
- natural-numbers-0.1.0.3.tar.gz [browse] (Cabal source package)
- Package description (included in the package)