compdata-0.13.1: Compositional Data Types
Copyright(c) 2011 Patrick Bahr
LicenseBSD3
MaintainerPatrick Bahr <paba@diku.dk>, Tom Hvitved <hvitved@diku.dk>
Stabilityexperimental
Portabilitynon-portable (GHC Extensions)
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Comp.Multi

Description

This module defines the infrastructure necessary to use Generalised Compositional Data Types. Generalised Compositional Data Types is an extension of Compositional Data Types with mutually recursive data types, and more generally GADTs. Examples of usage are bundled with the package in the library examples/Examples/Multi.

Documentation