The type-level-natural-number-operations package
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.
Properties
| Version | 1.0 |
|---|---|
| Dependencies | base (≥3 & <5), type-level-natural-number (≥1.0 & <1.2) |
| License | BSD3 |
| Author | Gregory Crosswhite |
| Maintainer | Gregory Crosswhite <gcross@phys.washington.edu> |
| Stability | Provisional |
| Category | Type System, Data |
| Upload date | Thu Oct 14 01:30:03 UTC 2010 |
| Uploaded by | GregoryCrosswhite |
| Built on | ghc-6.12, ghc-7.0, ghc-7.2 |
Modules
- TypeLevel
- NaturalNumber
Downloads
- type-level-natural-number-operations-1.0.tar.gz (Cabal source package)
- package description (included in the package)