compdata-dags: Compositional Data Types on DAGs

[ bsd3, generics, library ] [ Propose Tags ]

This library implements recursion schemes on directed acyclic graphs. The recursion schemes are explained in detail in the paper Generalising Tree Traversals to DAGs (http://www.diku.dk/~paba/pubs/entries/bahr15pepm.html).

Versions 0.1, 0.2, 0.2.1
Dependencies base (>=4.7 && <5), compdata (==0.9.*), containers, mtl, projection, unordered-containers, vector [details]
License BSD-3-Clause
Author Patrick Bahr, Emil Axelsson
Maintainer paba@di.ku.dk
Revised Revision 1 made by PatrickBahr at Fri Sep 12 07:46:14 UTC 2014
Category Generics
Bug tracker https://github.com/pa-ba/compdata-dags/issues
Source repo head: git clone https://github.com/pa-ba/compdata-dags
Uploaded by PatrickBahr at Fri Aug 22 09:04:28 UTC 2014
Distributions NixOS:0.2.1
Downloads 1034 total (18 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

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