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.10.*), containers, mtl, patch-combinators [details]
License BSD-3-Clause
Copyright Copyright (c) 2015, Emil Axelsson
Author Emil Axelsson
Maintainer 78emil@gmail.com
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 Sat Aug 11 10:55:04 UTC 2018
Distributions NixOS:0.2.1
Downloads 806 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-08-11 [all 2 reports]
Hackage Matrix CI

Modules

  • Data
    • Rewriting
      • Data.Rewriting.FirstOrder
      • Data.Rewriting.HigherOrder
      • Data.Rewriting.Rules

Downloads

Maintainer's 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":