kure: Combinators for Strategic Programming

[ bsd3, language, library ] [ Propose Tags ]

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

Downloads

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

Package maintainers

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 19919 total (31 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]