guarded-rewriting-0.1: Generic rewriting with preconditions<br>=====================================================================<br><br>This is a generic rewriting library based on type classes and type <br>families described in the paper: Thomas van Noort, Alexey Rodriguez <br>

Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro <br>Magalhães. A Lightweight Approach to Datatype-Generic Rewriting. Journal <br>of Functional Programming, Special Issue on Generic Programming, 2010. A <br>

draft version of this paper is currently available at <br><a href="http://dreixel.net/research/pdf/ladgr_draft.pdf">http://dreixel.net/research/pdf/ladgr_draft.pdf</a>.<br><br>The main differences from our previous generic programming library (see <br>

<a href="http://hackage.haskell.org/package/rewriting">http://hackage.haskell.org/package/rewriting</a>) are the support for more <br>datatypes (including parametrized and families of datatypes) and the <br>possibility of adding preconditions to rewrite rules. <br>

<br>It uses the instant-generics library, first described by Chakravarty et <br>al. (see <a href="http://www.cse.unsw.edu.au/~chak/project/generics/">http://www.cse.unsw.edu.au/~chak/project/generics/</a>), which we <br>
packaged and released separately (see<br>
<a href="http://hackage.haskell.org/package/instant-generics">http://hackage.haskell.org/package/instant-generics</a>).<br><br><br>Requirements<br>------------<br><br>* GHC 6.10.4 or later<br>* Cabal 1.6 or later<br><br>
Download<br>
--------<br><br>With cabal-install:<br><br>  cabal install guarded-rewriting<br><br>Get the package:<br><br>  <a href="http://hackage.haskell.org/package/guarded-rewriting">http://hackage.haskell.org/package/guarded-rewriting</a><br>

<br>Get the source:<br><br>  svn checkout <a href="https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/GuardedRewriting/">https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/GuardedRewriting/</a><br>

<br>Bugs &amp; Support<br>--------------<br><br>For more information visit the project homepage:<br><br>  <a href="http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/GuardedRewriting">http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/GuardedRewriting</a><br>

<br>Report issues, request features, or just discuss the library with the<br>authors, maintainers, and other interested persons at:<br><br>   <a href="http://www.haskell.org/mailman/listinfo/generics">http://www.haskell.org/mailman/listinfo/generics</a><br>

<br>