| Copyright | (c) 2011 Patrick Bahr |
|---|---|
| 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 |
Data.Comp.Multi
Description
This module defines the infrastructure necessary to use
Generalised Compositional Data Types. Generalised Compositional Data Types
is an extension of Compositional Data Types with mutually recursive
data types, and more generally GADTs. Examples of usage are bundled with the
package in the library examples/Examples/Multi.
Documentation
module Data.Comp.Multi.Term
module Data.Comp.Multi.HFunctor
module Data.Comp.Multi.Algebra
module Data.Comp.Multi.Sum
module Data.Comp.Multi.Annotation
module Data.Comp.Multi.Equality
module Data.Comp.Multi.Generic