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.
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
- kure-2.18.6.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees