The ho-rewriting package

[Tags:bsd3, library, test]

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

Versions 0.1, 0.2
Dependencies base (>=4.8 && <5), compdata (==0.10.*), containers, mtl, patch-combinators [details]
License BSD3
Copyright Copyright (c) 2015, Emil Axelsson
Author Emil Axelsson
Maintainer emax@chalmers.se
Category Language
Home page https://github.com/emilaxelsson/ho-rewriting
Bug tracker https://github.com/emilaxelsson/ho-rewriting/issues
Source repository head: git clone https://github.com/emilaxelsson/ho-rewriting
Uploaded Thu Nov 5 08:41:09 UTC 2015 by EmilAxelsson
Updated Sun Jan 3 08:03:01 UTC 2016 by HerbertValerioRiedel to revision 1
Distributions NixOS:0.2
Downloads 191 total (3 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2015-11-05 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for ho-rewriting

Readme for ho-rewriting-0.2

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