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.2.*) [details]
License BSD3
Copyright (c) 2009 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
Category Generics
Uploaded Mon Oct 26 10:33:07 UTC 2009 by JosePedroMagalhaes
Distributions NixOS:0.2.2
Downloads 904 total (2 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