The guarded-rewriting package

[ Tags: 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 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
Category Generics
Home page
Uploaded Wed Mar 3 07:55:30 UTC 2010 by JosePedroMagalhaes
Distributions NixOS:0.1
Downloads 531 total (7 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




Maintainer's Corner

For package maintainers and hackage trustees