Copyright | (c) 2010-2011 Patrick Bahr Tom Hvitved |
---|---|
License | BSD3 |
Maintainer | Patrick Bahr <paba@diku.dk>, Tom Hvitved <hvitved@diku.dk> |
Stability | experimental |
Portability | non-portable (GHC Extensions) |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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