[Haskell] ANNOUNCE: guarded-rewriting-0.1: Generic rewriting with preconditions

José Pedro Magalhães jpm at cs.uu.nl
Wed Mar 3 02:59:06 EST 2010

guarded-rewriting-0.1: Generic rewriting with preconditions

This is a generic rewriting library based on type classes and type
families described in the paper: Thomas van Noort, Alexey Rodriguez
Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro
Magalhães. A Lightweight Approach to Datatype-Generic Rewriting. Journal
of Functional Programming, Special Issue on Generic Programming, 2010. A
draft version of this paper is currently available at

The main differences from our previous generic programming library (see
http://hackage.haskell.org/package/rewriting) are the support for more
datatypes (including parametrized and families of datatypes) and the
possibility of adding preconditions to rewrite rules.

It uses the instant-generics library, first described by Chakravarty et
al. (see http://www.cse.unsw.edu.au/~chak/project/generics/), which we
packaged and released separately (see


* GHC 6.10.4 or later
* Cabal 1.6 or later


With cabal-install:

  cabal install guarded-rewriting

Get the package:


Get the source:

  svn checkout

Bugs & Support

For more information visit the project homepage:


Report issues, request features, or just discuss the library with the
authors, maintainers, and other interested persons at:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20100303/7dc3fe47/attachment.html

More information about the Haskell mailing list