@hackage type-level-natural-number-operations1.0
Basic operations on type-level natural numbers.
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 (2)
- base >=3 && <5
- type-level-natural-number >=1.0 && <1.2 Show all…
Dependents (3)
@hackage/acme-everything, @hackage/temporal-music-notation, @hackage/tagged-list
This package provides some basic operations that do not require the UndecideableInstances extension on type-level natural numbers. Specifically, this package provides the Plus and Minus type functions.