kure: Combinators for Strategic Programming
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
Modules
[Index]
Downloads
- kure-2.16.10.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.2, 0.2.1, 0.2.2, 0.2.3, 0.3.1, 2.0.0, 2.2.0, 2.4.0, 2.4.2, 2.4.10, 2.6.14, 2.6.22, 2.8.0, 2.12.0, 2.12.2, 2.14.0, 2.14.4, 2.14.6, 2.16.0, 2.16.1, 2.16.4, 2.16.6, 2.16.8, 2.16.10, 2.16.12, 2.18.6 |
---|---|
Dependencies | base (>=4.5 && <5), dlist (>=0.2 && <1), transformers (>=0.2 && <1) [details] |
License | BSD-3-Clause |
Copyright | (c) 2006--2015 The University of Kansas |
Author | Neil Sculthorpe and Andy Gill |
Maintainer | Neil Sculthorpe <neil.sculthorpe@ntu.ac.uk> |
Revised | Revision 2 made by NeilSculthorpe at 2018-02-28T09:33:02Z |
Category | Language |
Home page | http://www.ittc.ku.edu/csdl/fpg/software/kure.html |
Source repo | head: git clone git://github.com/ku-fpg/kure |
Uploaded | by NeilSculthorpe at 2015-03-27T15:26:49Z |
Distributions | |
Reverse Dependencies | 5 direct, 2 indirect [details] |
Downloads | 20542 total (5 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-03-27 [all 1 reports] |