The type-level-natural-number-induction package
This package provides high-level combinators for working with inductive structures --- that is, structures tagged with a phantom type-level natural number. Combinators are provided for building up a structure from seed data using induction, tearing down a structure to obtain a result, and inductively transforming one structure into another with the same size.
This package uses the type-level-natural-number package for its type-level representations of the natural numbers. The only non-Haskell 2010 extension it needs is Rank2Types.
Properties
| Version | 1.0 |
|---|---|
| Dependencies | base (≥3 & <5), transformers (0.2.*), 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:32:59 UTC 2010 |
| Uploaded by | GregoryCrosswhite |
| Built on | ghc-6.12, ghc-7.0, ghc-7.2 |
Modules
- TypeLevel
- NaturalNumber
Downloads
- type-level-natural-number-induction-1.0.tar.gz (Cabal source package)
- package description (included in the package)