[Haskell-cafe] ANNOUNCE: rewriting-0.1

[Thomas van Noort]

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:

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

Features
--------

* 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

Requirements
------------

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

Download & Source
-----------------

Use cabal-install:

   cabal install rewriting

Get the package:

   http://hackage.haskell.org/cgi-bin/hackage-scripts/package/rewriting

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:

   http://www.haskell.org/mailman/listinfo/generics