| Portability | non-portable (GHC Extensions) |
|---|---|
| Stability | experimental |
| Maintainer | Patrick Bahr <paba@diku.dk>, Tom Hvitved <hvitved@diku.dk> |
| Safe Haskell | Safe-Infered |
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