Copyright | (c) 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 | None |
Language | Haskell98 |
This module defines the infrastructure necessary to use
Generalised Parametric Compositional Data Types. Generalised Parametric
Compositional Data Types is an extension of Compositional Data Types with
parametric higher-order abstract syntax (PHOAS) for usage with binders, and
GADTs. Generalised Parametric Compositional Data Types combines Generalised
Compositional Data Types (Data.Comp.Multi) and Parametric Compositional
Data Types (Data.Comp.Param). Examples of usage are bundled with the
package in the library examples/Examples/Param.Multi
.