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, 0.2.1
Dependencies base (>=4.7 && <5), compdata (>=0.9), containers, mtl, patch-combinators [details]
License BSD-3-Clause
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 repo head: git clone https://github.com/emilaxelsson/ho-rewriting
Uploaded by EmilAxelsson at Thu Jun 25 12:08:35 UTC 2015
Distributions NixOS:0.2.1
Downloads 789 total (14 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-06-25 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for ho-rewriting-0.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":