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] [Quick Jump]
- 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.9.2.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.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 | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 4920 total (24 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] |