ho-rewriting: Generic rewrite rules with safe treatment of variables and binders

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain]

This package gives a generic implementation of higher-order rewriting. The main idea is to use techniques from embedded domain-specific languages to offer an interface which is both safe and syntactically appealing.

Some examples are found in the examples directory. For more information, see "Lightweight Higher-Order Rewriting in Haskell" (presented at TFP 2015):


[Skip to ReadMe]

Properties

Versions0.1, 0.2, 0.2.1, 0.2.1
Change logNone available
Dependenciesbase (>=4.7 && <5), compdata (==0.10.*), containers, mtl, patch-combinators [details]
LicenseBSD-3-Clause
CopyrightCopyright (c) 2015, Emil Axelsson
AuthorEmil Axelsson
Maintainer78emil@gmail.com
CategoryLanguage
Home pagehttps://github.com/emilaxelsson/ho-rewriting
Bug trackerhttps://github.com/emilaxelsson/ho-rewriting/issues
Source repositoryhead: git clone https://github.com/emilaxelsson/ho-rewriting
UploadedSat Aug 11 10:54:28 UTC 2018 by EmilAxelsson

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees


Readme for ho-rewriting-0.2.1

[back to package description]

This package gives a generic implementation of higher-order rewriting. The main idea is to use techniques from embedded domain-specific languages to offer an interface which is both safe and syntactically appealing.

Some examples are found in the examples directory. For more information, see "Lightweight Higher-Order Rewriting in Haskell":