type-level-natural-number: Simple, Haskell 2010-compatible type level natural numbers
This is a simple, Haskell 2010 compatible implementation of type-level natural numbers. Operations requiring non-Haskell 2010 language extensions have been split into a separate package.
The difference between this package and the many others on Hackage implementing type-level naturals is its emphasis on simplicity. It only supports non-negative natural numbers, and only the successor and predicessor operations. It represents natural numbers using a type-level linked list, so it is not intended to be used for representing large numbers. Pre-defined aliases for natural numbers up to 15 are provided.
The code for this package was largely taken from the excellent Vec package; I created this package with the intent of making this functionality more widely available.
Difference from 1.0: Added instances for Typeable, and word synonyms for N0...N15.
- type-level-natural-number-1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
- No Candidates
|Versions [RSS]||1.0, 1.1, 1.1.1, 2.0|
|Dependencies||base (>=3 && <5) [details]|
|Maintainer||Gregory Crosswhite <firstname.lastname@example.org>|
|Category||Type System, Data|
|Uploaded||by GregoryCrosswhite at 2010-10-14T01:22:57Z|
|Distributions||LTSHaskell:2.0, NixOS:2.0, Stackage:2.0|
|Reverse Dependencies||8 direct, 7 indirect [details]|
|Downloads||3429 total (10 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]