rewriting: Generic rewriting library for regular datatypes.

[ bsd3, generics, library ] [ Propose Tags ]
Versions 0.1, 0.2, 0.2.1, 0.2.2
Dependencies base (>=4.0 && <5), containers (>=0.1), regular (>=0.1) [details]
License BSD-3-Clause
Copyright (c) 2009 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
Category Generics
Uploaded by JosePedroMagalhaes at Fri Jul 3 12:59:33 UTC 2009
Distributions NixOS:0.2.2
Downloads 1448 total (12 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

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:

More information about this library can be found at




Maintainer's Corner

For package maintainers and hackage trustees