compdata-0.5: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>, Tom Hvitved <hvitved@diku.dk>

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