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.
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.