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 
http://dreixel.net/research/pdf/ladgr_draft.pdf.

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
http://hackage.haskell.org/package/instant-generics).


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

* GHC 6.10.4 or later
* Cabal 1.6 or later

Download
--------

With cabal-install:

  cabal install guarded-rewriting

Get the package:

  http://hackage.haskell.org/package/guarded-rewriting

Get the source:

  svn checkout https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/GuardedRewriting/

Bugs & Support
--------------

For more information visit the project homepage:

  http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/GuardedRewriting

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