Name: type-level-natural-number-induction
Version: 1.0
License: BSD3
License-file: LICENSE
Author: Gregory Crosswhite
Maintainer: Gregory Crosswhite <gcross@phys.washington.edu>
Stability: Provisional
Synopsis: High-level combinators for performing inductive operations.
Description: 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.
Cabal-version: >=1.2.3
Build-type: Simple
Category: Type System,Data
Library
Build-depends: base >= 3 && < 5,
transformers >= 0.2 && < 0.3,
type-level-natural-number >= 1.0 && < 1.2
Exposed-modules: TypeLevel.NaturalNumber.Induction
Extensions: Rank2Types