multirec: Generic programming with systems of recursive datatypes

[ bsd3, generics, library ] [ Propose Tags ]

Many generic programs require information about the recursive positions of a datatype. Examples include the generic fold, generic rewriting or the Zipper data structure. Several generic programming systems allow to write such functions by viewing datatypes as fixed points of a pattern functor. Traditionally, this view has been limited to so-called regular datatypes such as lists and binary trees. In particular, systems of mutually recursive datatypes have been excluded.

With the multirec library, we provide a mechanism to talk about fixed points of systems of datatypes that may be mutually recursive. On top of this representations, generic functions such as the fold or the zipper can then be defined.

We expect that the library will be especially interesting for compiler writers, because ASTs are typically systems of mutually recursive datatypes, and with multirec it becomes easy to write generic functions on ASTs.

The library is based on ideas described in the paper:

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

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.2, 0.3, 0.4, 0.4.1, 0.5, 0.5.1, 0.6, 0.7, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.7.6, 0.7.7, 0.7.8, 0.7.9
Dependencies base (>=3.0 && <4) [details]
License BSD-3-Clause
Author Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
Maintainer generics@haskell.org
Revised Revision 1 made by HerbertValerioRiedel at 2016-11-27T12:40:47Z
Category Generics
Home page http://www.cs.uu.nl/wiki/GenericProgramming/Multirec
Uploaded by AndresLoeh at 2008-10-31T14:34:28Z
Distributions
Reverse Dependencies 8 direct, 1 indirect [details]
Downloads 13768 total (48 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]