kure: Combinators for Strategic Programming

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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. https://dx.doi.org/10.1017/S0956796814000185

Properties

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, 2.18.6, 2.18.6
Change log CHANGELOG.md
Dependencies base (>=4.8 && <5), dlist (>=0.6 && <1), transformers (>=0.4.1 && <1) [details]
License BSD-3-Clause
Copyright (c) 2006--2021 The University of Kansas
Author Neil Sculthorpe and Andy Gill
Maintainer Neil Sculthorpe <neil.sculthorpe@ntu.ac.uk>
Category Language
Home page https://ku-fpg.github.io/software/kure/
Source repo head: git clone git://github.com/ku-fpg/kure
Uploaded by NeilSculthorpe at 2021-04-04T11:24:49Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees