rewriting: Generic rewriting library for regular datatypes.

[ bsd3, generics, library ] [ Propose Tags ]

This package provides rewriting functionality for regular datatypes. Regular datatypes are recursive datatypes such as lists, binary trees, etc. This library cannot be used with mutually recursive datatypes or with nested datatypes.

This library has been described in the paper:

  • A Lightweight Approach to Datatype-Generic Rewriting. Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren. ACM SIGPLAN Workshop on Generic Programming 2008.

More information about this library can be found at http://www.cs.uu.nl/wiki/GenericProgramming/Rewriting.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.2, 0.2.1, 0.2.2
Dependencies base (>=4.0 && <5), containers (>=0.1), regular (>=0.2 && <0.4) [details]
License BSD-3-Clause
Copyright (c) 2012 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
Maintainer generics@haskell.org
Category Generics
Source repo head: svn checkout https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/rewriting/trunk/
Uploaded by JosePedroMagalhaes at 2012-04-16T14:46:55Z
Distributions NixOS:0.2.2
Downloads 3007 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]