| Copyright | (c) 2010-2011 Patrick Bahr Tom Hvitved |
|---|---|
| License | BSD3 |
| Maintainer | Patrick Bahr <[email protected]>, Tom Hvitved <[email protected]> |
| Stability | experimental |
| Portability | non-portable (GHC Extensions) |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.Comp
Description
This module defines the infrastructure necessary to use
Compositional Data Types. Compositional Data Types is an extension of
Wouter Swierstra's Functional Pearl: Data types a la carte. Examples of
usage are bundled with the package in the library examples/Examples.
Documentation
module Data.Comp.Term
module Data.Comp.Sum
module Data.Comp.Ordering
module Data.Comp.Generic
module Data.Comp.Equality
module Data.Comp.Annotation
module Data.Comp.Algebra