kure

Combinators for Strategic Programming

http://www.ittc.ku.edu/csdl/fpg/software/kure.html

Version on this page:2.16.10@rev:2
LTS Haskell 6.35:2.16.12
Stackage Nightly 2016-05-25:2.16.12
Latest on Hackage:2.18.6

See all snapshots kure appears in

BSD-3-Clause licensed by Neil Sculthorpe and Andy Gill
Maintained by Neil Sculthorpe
This version can be pinned in stack with:kure-2.16.10@sha256:30b152d64b0971ff34df87e8f03de880e4e92ef531e5320c6928b06072fb7551,2847

Module documentation for 2.16.10

The Kansas University Rewrite Engine (KURE) is a domain-specific language for strategic rewriting. KURE was inspired by Stratego and StrategyLib, and has similarities with Scrap Your Boilerplate and Uniplate.

The basic transformation functionality can be found in Language.KURE.Transform, and the traversal functionality can be found in Language.KURE.Walker. Several basic examples of using KURE are provided in the source-code bundle. For larger examples, see the HERMIT or HTML-KURE packages.

You can read about KURE in the following article:

The Kansas University Rewrite Engine: A Haskell-Embedded Strategic Programming Language with Custom Closed Universes. Neil Sculthorpe, Nicolas Frisby and Andy Gill. Journal of Functional Programming. Cambridge University Press, 24(4), pages 434-473, 2014. http://dx.doi.org/10.1017/S0956796814000185