compdata-0.12: Compositional Data Types

Copyright (c) 2011 Patrick Bahr BSD3 Patrick Bahr , Tom Hvitved experimental non-portable (GHC Extensions) None Haskell98

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.