You are here:
(06 Dec 2010, JosePedroMagalhaes)
---++ Introduction 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. [[http://dreixel.net/research/pdf/ladgr.pdf][A Lightweight Approach to Datatype-Generic Rewriting]]. Journal of Functional Programming, Special Issue on Generic Programming, 2010. Note that this is NOT the same library as [[Rewriting]], as it uses a different underlying generic programming library (InstantGenerics) and supports more datatypes and rules with preconditions. ---++ Download _If you have [[http://hackage.haskell.org/package/cabal-install][cabal-install]]_, you should use that to install the package, because it will handle everything for you: <pre> cabal install guarded-rewriting </pre> _If you don't have cabal-install_, you must download the [[http://hackage.haskell.org/package/guarded-rewriting][guarded-rewriting package]] from !HackageDB and install it manually. Get the =tar.gz= file and decompress it. Once downloaded, use the following commands for configuring, building, and installing the library: <pre> runghc Setup configure runghc Setup build runghc Setup install </pre> For more details on the general options available, refer to the [[http://www.haskell.org/cabal/release/latest/doc/users-guide/][Cabal User's Guide]]. ---++ Source The source for this library can be downloaded from the [[http://subversion.tigris.org/][Subversion]] repository as follows: <pre> 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> </pre>
ore topic actions
Topic revision: r5 - 06 Dec 2010, JosePedroMagalhaes
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?