The guarded-rewriting package

[Tags:bsd3, library]

This package provides rewriting functionality for datatypes. Most forms of datatypes are supported, including parametrized and mutually-recursive.

This library has been described in the paper:

More information about this library can be found at


Versions 0.1
Dependencies base (>=3.0 && <5), instant-generics (>=0.1 && <1.0) [details]
License BSD3
Copyright (c) 2010 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Stability provisional
Category Generics
Home page
Uploaded Wed Mar 3 07:55:30 UTC 2010 by JosePedroMagalhaes
Distributions NixOS:0.1
Downloads 351 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