The natural-number package
This package provides a simple data structure for repesenting natural numbers with a type that is tagged with the type-level natural number corresponding to the value of the natural number.
Properties
| Version | 1.0 |
|---|---|
| Dependencies | base (≥3 & <5), type-equality (0.1.*), type-level-natural-number (≥1.0 & <1.2), type-level-natural-number-induction (1.0.*) |
| License | BSD3 |
| Author | Gregory Crosswhite |
| Maintainer | Gregory Crosswhite <gcross@phys.washington.edu> |
| Stability | Provisional |
| Category | Type System, Data |
| Upload date | Thu Oct 14 01:36:34 UTC 2010 |
| Uploaded by | GregoryCrosswhite |
| Built on | ghc-6.12, ghc-7.0, ghc-7.2 |
Modules
Downloads
- natural-number-1.0.tar.gz (Cabal source package)
- package description (included in the package)