transformations: Generic representation of tree transformations

[ gpl, language, library, program ] [ Propose Tags ]
Versions [RSS],,
Dependencies base (>=4.7 && <5), containers (>=0.1), criterion (>=1), mtl (>=2.1), multirec (>=0.7.3), parsec (>=3.1), QuickCheck (>=2.7), regular (>=, template-haskell (>=2.9) [details]
License GPL-3.0-only
Author Jeroen Bransen and Jose Pedro Magalhaes
Category Language
Uploaded by JosePedroMagalhaes at 2015-02-15T13:45:10Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables Benchmark
Downloads 2290 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-02-15 [all 1 reports]

Readme for transformations-

[back to package description]
A quick guide to the example code

All the code compiles with GHC 7.10 RC2. The package itself compiles with 7.8,
but the pattern synonyms used in the examples require 7.10.

QuickCheck.hs contains an artificial benchmark for the MultiRec code.

In the examples folder there are many other examples. The best way to test these
is to load each of them in GHCi as follows:

> ghci -iexamples examples\Expr.hs

  The Expr example shown in the paper

  The AST example shown in the paper

  Examples using the Regular library

  The Lua code example shown in the paper.