The compdata package

[Tags: bsd3, library]

This library implements the ideas of Data types a la carte (Journal of Functional Programming, 18(4):423-436, 2008, http://dx.doi.org/10.1017/S0956796808006758) as outlined in the paper Compositional data types (Workshop on Generic Programming, 83-94, 2011, http://dx.doi.org/10.1145/2036918.2036930). The purpose of this library is to allow the programmer to construct data types -- as well as the functions defined on them -- in a modular fashion. The underlying idea is to separate the signature of a data type from the fixed point construction that produces its recursive structure. Signatures can then be composed and decomposed freely.

Building on that foundation, this library provides additional extensions and (run-time) optimisations which make 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 library provides the following features:

Examples of using (generalised) compositional data types are bundled with the package in the folder examples.

Previous versions of this library contained a parametric variant of compositional data types. This former part of the library has been moved to a separate package: compdata-param https://hackage.haskell.org/package/compdata-param

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.7.0.2, 0.8, 0.8.0.1, 0.8.1.0, 0.8.1.1, 0.8.1.2, 0.8.1.3, 0.9, 0.10
Change logNone available
Dependenciesbase, containers, deepseq, derive, mtl, QuickCheck (>=2), template-haskell, th-expand-syns, transformers, tree-view
LicenseBSD3
AuthorPatrick Bahr, Tom Hvitved
Maintainerpaba@diku.dk
CategoryGenerics
Bug trackerhttps://github.com/pa-ba/compdata/issues
Source repositoryhead: git clone https://github.com/pa-ba/compdata
UploadedSun Jun 15 19:19:46 UTC 2014 by PatrickBahr
DistributionsLTSHaskell:0.9, NixOS:0.10, Stackage:0.10
Downloads3861 total (252 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees