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

[José Pedro Magalhães]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20100303/7dc3fe47/attachment.html