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 0.1.0.0, 0.1.1.0, 0.2.0.0
Dependencies base (>=4.7 && <5), containers (>=0.1), criterion (>=1), mtl (>=2.1), multirec (>=0.7.3), parsec (>=3.1), QuickCheck (>=2.7), regular (>=0.3.4.4), template-haskell (>=2.9) [details]
License GPL-3.0-only
Author Jeroen Bransen and Jose Pedro Magalhaes
Maintainer generics@haskell.org
Category Language
Uploaded by JosePedroMagalhaes at Sun Feb 15 13:45:10 UTC 2015
Distributions NixOS:0.2.0.0
Executables Benchmark
Downloads 1076 total (8 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-02-15 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for transformations-0.2.0.0

[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

examples/Expr.hs
  The Expr example shown in the paper

examples/MultiRec.hs
  The AST example shown in the paper

examples/Regular.hs
  Examples using the Regular library

examples/LUA.hs
  The Lua code example shown in the paper.