The rewriting package

[Tags:bsd3, library]

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


Versions 0.1, 0.2, 0.2.1, 0.2.2
Dependencies base (>=4.0 && <5), containers (>=0.1), regular (>=0.1) [details]
License BSD3
Copyright (c) 2009 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
Stability experimental
Category Generics
Uploaded Fri Jul 3 12:59:33 UTC 2009 by JosePedroMagalhaes
Downloads 794 total (14 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees