[Haskell-cafe] ANNOUNCE: rewriting-0.1

Thomas van Noort thomas at cs.ru.nl
Wed Oct 22 10:29:39 EDT 2008

Generic rewriting library for regular datatypes

This package provides rewriting functionality for regular datatypes.
Regular datatypes are recursive datatypes such as lists, binary trees,
etc. This library cannot be used with mutually recursive datatypes or
with nested datatypes.

This library has been described in the paper:

   A Lightweight Approach to Datatype-Generic Rewriting. Thomas van
   Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan
   Heeren. ACM SIGPLAN Workshop on Generic Programming 2008.

More information about this library can be found at:



* Generic rewriting machinery
* Generic traversals (top-down, bottom-up, etc.)
* Rewrite rules are defined concisely as values instead of functions,
   which allows for better observability
* Rewrite rules are defined in the original domain and do not require a
   manual extension for metavariables


* GHC 6.10.1 (tested with
* Cabal 1.2.1 (or higher)

Download & Source

Use cabal-install:

   cabal install rewriting

Get the package:


Get the source:

   svn checkout https://svn.cs.uu.nl:12443/repos/dgp-haskell/rewriting

Bugs & Support

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


More information about the Haskell-Cafe mailing list