guarded-rewriting: Datatype-generic rewriting with preconditions

[ bsd3, generics, library ] [ Propose Tags ]

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 [RSS] [faq] 0.1
Dependencies base (>=3.0 && <5), instant-generics (>=0.1 && <1.0) [details]
License BSD-3-Clause
Copyright (c) 2010 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Category Generics
Home page
Uploaded by JosePedroMagalhaes at 2010-03-03T07:55:30Z
Distributions NixOS:0.1
Downloads 1039 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees