compdata: Compositional Data Types

[ bsd3, generics, library ] [ Propose Tags ]

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.

There are some supplementary packages, some of which were included in previous versions of this package:

Versions [faq] 0.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, 0.10.1, 0.11, 0.12
Dependencies base (>=4.7 && <4.9), containers (<0.6), deepseq (>=1.1 && <1.5), derive (<2.6), mtl (>=2.2.1 && <2.3), QuickCheck (>=2 && <2.9), template-haskell (>=2.9 && <2.11), th-expand-syns (<0.5), transformers (<0.6), tree-view (<0.5) [details]
License BSD-3-Clause
Author Patrick Bahr, Tom Hvitved
Maintainer paba@diku.dk
Revised Revision 2 made by HerbertValerioRiedel at Sun Mar 19 20:36:54 UTC 2017
Category Generics
Bug tracker https://github.com/pa-ba/compdata/issues
Source repo head: git clone https://github.com/pa-ba/compdata
Uploaded by PatrickBahr at Thu Apr 30 09:05:40 UTC 2015
Distributions NixOS:0.12
Downloads 13188 total (629 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-04-30 [all 1 reports]

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees