The transformations package

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

This library is based on ideas described in the paper:

[Skip to Readme]


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
Author Jeroen Bransen and Jose Pedro Magalhaes
Category Language
Uploaded Sun Feb 15 13:45:10 UTC 2015 by JosePedroMagalhaes
Distributions NixOS:
Executables Benchmark
Downloads 1060 total (13 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




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.