compdata-0.5: Compositional Data Types

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

Data.Comp

Description

This module defines the infrastructure necessary to use Compositional Data Types. Compositional Data Types is an extension of Wouter Swierstra's Functional Pearl: Data types a la carte. Examples of usage are bundled with the package in the library examples/Examples.