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.

BSD3 licensed by Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Maintained by generics@haskell.org

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.

Used by 1 package:
comments powered byDisqus