Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Patrick Bahr <paba@diku.dk>, Tom Hvitved <hvitved@diku.dk> |
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.Algebra
module Data.Comp.Sum
module Data.Comp.Annotation
module Data.Comp.Equality
module Data.Comp.Ordering
module Data.Comp.Generic