transformations: Generic representation of tree transformations

[ gpl, language, library, program ] [ Propose Tags ]

This library is based on ideas described in the paper:

[Skip to Readme]
Versions [RSS] [faq],,
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
Distributions NixOS:
Executables Benchmark
Downloads 2090 total (14 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-02-15 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees


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.