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/GuardedRewri... 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