@hackage natural-number1.0
Natural numbers tagged with a type-level representation of the number.
Categories
License
BSD-3-Clause
Maintainer
Gregory Crosswhite <gcross@phys.washington.edu>
Links
- Documentation
- No source repository
- Security
Versions
- 1.0 Thu, 14 Oct 2010
Installation
Dependencies (4)
- base >=3 && <5
- type-equality >=0.1 && <0.2
- type-level-natural-number >=1.0 && <1.2
- type-level-natural-number-induction >=1.0 && <1.1 Show all…
Dependents (2)
@hackage/acme-everything, @hackage/tagged-list
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.