@hackage type-level-natural-number-induction1.0.0.1
High-level combinators for performing inductive operations.
Categories
License
BSD-3-Clause
Maintainer
Gregory Crosswhite <gcross@phys.washington.edu>
Links
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (3)
- base >=3 && <5
- transformers >=0.2 && <0.4
- type-level-natural-number >=1.0 && <1.2 Show all…
Dependents (3)
@hackage/acme-everything, @hackage/tagged-list, @hackage/natural-number
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.