The guarded-rewriting package

[Tags:bsd3, library]

This package provides rewriting functionality for datatypes. Most forms of datatypes are supported, including parametrized and mutually-recursive.

This library has been described in the paper:

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

Properties

Versions 0.1
Dependencies base (>=3.0 && <5), instant-generics (>=0.1 && <1.0) [details]
License BSD3
Copyright (c) 2010 Universiteit Utrecht
Author Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Maintainer generics@haskell.org
Stability provisional
Category Generics
Home page http://www.cs.uu.nl/wiki/GenericProgramming/GuardedRewriting
Uploaded Wed Mar 3 07:55:30 UTC 2010 by JosePedroMagalhaes
Distributions NixOS:0.1
Downloads 324 total (4 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees