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