The compdata-param package

[Tags:bsd3, library, test]

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.

Properties

Versions 0.8, 0.8.0.1, 0.8.0.2, 0.9, 0.9.1
Dependencies base (>=4.7 && <5), compdata (>=0.10.1 && <0.11), mtl, template-haskell, transformers [details]
License BSD3
Author Patrick Bahr, Tom Hvitved
Maintainer paba@di.ku.dk
Stability Unknown
Category Generics
Bug tracker https://github.com/pa-ba/compdata-param/issues
Source repository head: git clone https://github.com/pa-ba/compdata-param
Uploaded Mon May 30 12:21:17 UTC 2016 by PatrickBahr
Distributions NixOS:0.9.1
Downloads 783 total (23 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-11-11 [all 3 reports]

Modules

  • 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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees