guarded-rewriting

Datatype-generic rewriting with preconditions

http://www.cs.uu.nl/wiki/GenericProgramming/GuardedRewriting

Latest on Hackage:0.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Maintained by [email protected]

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:

  • Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes. A Lightweight Approach to Datatype-Generic Rewriting. Journal of Functional Programming, Special Issue on Generic Programming, 2010.

More information about this library can be found at http://www.cs.uu.nl/wiki/GenericProgramming/GuardedRewriting.