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


[Skip to Readme]
Versions 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
Change log CHANGELOG.md
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 Wed Feb 28 09:32:38 UTC 2018
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 Tue Sep 15 16:57:23 UTC 2015
Distributions NixOS:2.16.12
Downloads 9005 total (64 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-09-15 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

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

For package maintainers and hackage trustees


Readme for kure-2.16.12

[back to package description]

KURE Hackage version Build Status

Combinators for Strategic Programming