The compdata package

[Tags: bsd3, library]

Based on Wouter Swierstra's Functional Pearl Data types à la carte (Journal of Functional Programming, 18(4):423-436, 2008), this package provides a framework for defining recursive data types in a compositional manner. The fundamental idea of compositional data types is to separate the signature of a data type from the fixed point construction that produces its recursive structure. By allowing to compose and decompose signatures, compositional data types enable to combine data types in a flexible way. The key point of Wouter Swierstra's original work is to define functions on compositional data types in a compositional manner as well by leveraging Haskell's type class machinery.

Building on that foundation, this library provides additional extensions and (run-time) optimisations which makes compositional data types usable for practical implementations. In particular, it provides an excellent framework for manipulating and analysing abstract syntax trees in a type-safe manner. Thus, it is perfectly suited for programming language implementations, especially, in an environment consisting of a family of tightly interwoven domain-specific languages.

In concrete terms, this package provides the following features:

For examples illustrating the use of compositional data types, consult Data.Comp resp. Data.Comp.Multi for mutually recursive data types.


Properties

Versions0.1, 0.2, 0.3, 0.4, 0.4.1, 0.5, 0.5.1, 0.5.2, 0.5.3, 0.6, 0.6.1, 0.6.1.1, 0.6.1.2, 0.6.1.3, 0.6.1.4, 0.7, 0.7.0.1, 0.8, 0.8.0.1, 0.8.1.0, 0.8.1.1, 0.8.1.2
Dependenciesbase (==4.*), containers, criterion, deepseq, derive, mtl, QuickCheck (>=2), random, template-haskell, test-framework, test-framework-quickcheck2, th-expand-syns, uniplate
LicenseBSD3
AuthorPatrick Bahr, Tom Hvitved
Maintainerpaba@diku.dk
CategoryGenerics
Executablesbenchmark, test
Upload dateThu Mar 24 14:23:38 UTC 2011
Uploaded byPatrickBahr
DistributionsNixOS:0.8.1.2
Downloads1404 total (173 in last 30 days)

Modules

[Index]

Flags

NameDescriptionDefault
testBuild test executable.Disabled
benchmarkBuild benchmark executable.Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees