| 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 |
Data.Comp.Param
Description
This module defines the infrastructure necessary to use
Parametric Compositional Data Types. Parametric Compositional Data Types
is an extension of Compositional Data Types with parametric
higher-order abstract syntax (PHOAS) for usage with binders. Examples of
usage are bundled with the package in the library
examples/Examples/Param.
Documentation
module Data.Comp.Param.Term
module Data.Comp.Param.Algebra
module Data.Comp.Param.Difunctor
module Data.Comp.Param.Sum
module Data.Comp.Param.Annotation
module Data.Comp.Param.Equality