| Portability | non-portable (GHC Extensions) |
|---|---|
| Stability | experimental |
| Maintainer | Patrick Bahr <[email protected]>, Tom Hvitved <[email protected]> |
| Safe Haskell | Safe-Infered |
Data.Comp.MultiParam
Description
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/MultiParam.
Documentation
module Data.Comp.MultiParam.Term
module Data.Comp.MultiParam.Algebra
module Data.Comp.MultiParam.Sum