Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Thomas van Noort <thomas <at> cs.ru.nl>
Subject: ANNOUNCE: rewriting-0.1
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Wednesday 22nd October 2008 14:29:39 UTC (over 9 years ago)
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
 
CD: 3ms