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

[ bsd3, language, library ] [ Propose Tags ]

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]
Versions 0.1, 0.2
Dependencies base (>=4.8 && <5), compdata (==0.10.*), containers, mtl, patch-combinators [details]
License BSD-3-Clause
Copyright Copyright (c) 2015, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Revised Revision 1 made by HerbertValerioRiedel at Sun Jan 3 08:03:01 UTC 2016
Category Language
Home page https://github.com/emilaxelsson/ho-rewriting
Bug tracker https://github.com/emilaxelsson/ho-rewriting/issues
Source repo head: git clone https://github.com/emilaxelsson/ho-rewriting
Uploaded by EmilAxelsson at Thu Nov 5 08:41:09 UTC 2015
Distributions NixOS:0.2
Downloads 657 total (7 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-11-05 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees


Readme for ho-rewriting-0.2

[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":