rewriting: Generic rewriting library for regular datatypes.

[ bsd3, generics, library ] [ Propose Tags ]

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:

More information about this library can be found at http://www.cs.uu.nl/wiki/GenericProgramming/Rewriting.

Versions 0.1, 0.2, 0.2.1, 0.2.2
Dependencies base (>=4.0 && <5), containers (>=0.1), regular (>=0.2 && <0.4) [details]
License BSD-3-Clause
Copyright (c) 2012 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
Maintainer generics@haskell.org
Category Generics
Source repo head: svn checkout https://subversion.cs.uu.nl/repos/project.dgp-haskell.libraries/rewriting/trunk/
Uploaded by JosePedroMagalhaes at Mon Apr 16 14:46:55 UTC 2012
Distributions NixOS:0.2.2
Downloads 1591 total (18 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees