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

Version0.1
Dependenciesbase (>=3.0 && <5), instant-generics (>=0.1 && <1.0)
LicenseBSD3
Copyright(c) 2010 Universiteit Utrecht
AuthorThomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Jose Pedro Magalhaes
Maintainergenerics@haskell.org
Stabilityprovisional
CategoryGenerics
Home pagehttp://www.cs.uu.nl/wiki/GenericProgramming/GuardedRewriting
UploadedWed Mar 3 07:55:30 UTC 2010 by JosePedroMagalhaes
Downloads137 total (8 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees