compdata-0.6: Compositional Data Types

Portabilitynon-portable (GHC Extensions)
Stabilityexperimental
MaintainerPatrick Bahr <paba@diku.dk>, Tom Hvitved <hvitved@diku.dk>
Safe HaskellSafe-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