compdata-param: Parametric Compositional Data Types
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.
Modules
[Index]
- Data
- Comp
- Data.Comp.Param
- Data.Comp.Param.Algebra
- Data.Comp.Param.Annotation
- Data.Comp.Param.Derive
- Data.Comp.Param.Desugar
- Data.Comp.Param.Difunctor
- Data.Comp.Param.Ditraversable
- Data.Comp.Param.Equality
- Data.Comp.Param.FreshM
- Data.Comp.Param.Multi
- Data.Comp.Param.Multi.Algebra
- Data.Comp.Param.Multi.Annotation
- Data.Comp.Param.Multi.Derive
- Data.Comp.Param.Multi.Desugar
- Data.Comp.Param.Multi.Equality
- Data.Comp.Param.Multi.FreshM
- Data.Comp.Param.Multi.HDifunctor
- Data.Comp.Param.Multi.HDitraversable
- Data.Comp.Param.Multi.Ops
- Data.Comp.Param.Multi.Ordering
- Data.Comp.Param.Multi.Show
- Data.Comp.Param.Multi.Sum
- Data.Comp.Param.Multi.Term
- Data.Comp.Param.Ops
- Data.Comp.Param.Ordering
- Data.Comp.Param.Show
- Data.Comp.Param.Sum
- Data.Comp.Param.Term
- Data.Comp.Param.Thunk
- Data.Comp.Param
- Comp
Downloads
- compdata-param-0.8.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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 && <5), compdata (>=0.8 && <0.9), mtl, template-haskell, transformers [details] |
| License | BSD-3-Clause |
| Author | Patrick Bahr, Tom Hvitved |
| Maintainer | paba@di.ku.dk |
| Category | Generics |
| Source repo | head: hg clone https://bitbucket.org/paba/compdata-param |
| Uploaded | by PatrickBahr at 2014-05-07T07:15:49Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 4820 total (15 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user [build log] All reported builds failed [all 1 reports] |