The rewriting package
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.
Properties
| Versions | 0.1, 0.2, 0.2.1, 0.2.2 |
|---|---|
| Dependencies | base (≥3.0), containers (≥0.1) |
| License | BSD3 |
| Copyright | (c) 2008 Universiteit Utrecht |
| Author | Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren |
| Maintainer | generics@haskell.org |
| Stability | experimental |
| Category | Generics |
| Upload date | Wed Oct 22 14:01:18 UTC 2008 |
| Uploaded by | ThomasVanNoort |
| Built on | ghc-6.10 |
| Build failure | ghc-6.12 (log), ghc-6.8 (log) |
Modules
Downloads
- rewriting-0.1.tar.gz (Cabal source package)
- package description (included in the package)