compdata-param: Parametric Compositional Data Types

[ bsd3, generics, library ] [ Propose Tags ]

Based on Wouter Swierstra's Functional Pearl Data types a la carte (Journal of Functional Programming, 18(4):423-436, 2008, http://dx.doi.org/10.1017/S0956796808006758), this package provides a framework for defining recursive data types in a compositional manner with support for binders.

This package implemements parametric compositional data types (Workshop on Mathematically Structured Functional Programming, 3-24, 2012, http://dx.doi.org/10.4204/EPTCS.76.3), generalising compositional data types (as implemented in the compdata package) with support for parametric higher-order abstract syntax (PHOAS).

Examples of using parametric compositional data types are bundled with the package in the folder examples.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.8, 0.8.0.1, 0.8.0.2, 0.9, 0.9.1, 0.9.2
Dependencies base (>=4.7 && <5), compdata (>=0.12 && <0.13), mtl, template-haskell, transformers [details]
License BSD-3-Clause
Author Patrick Bahr, Tom Hvitved
Maintainer paba@itu.dk
Category Generics
Bug tracker https://github.com/pa-ba/compdata-param/issues
Source repo head: git clone https://github.com/pa-ba/compdata-param
Uploaded by PatrickBahr at 2018-09-25T13:22:09Z
Distributions NixOS:0.9.2
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 4675 total (32 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-09-25 [all 1 reports]