kure: Combinators for Strategic Programming
The Kansas University Rewrite Engine (KURE) is a DSL for strategic rewriting. KURE shares concepts with Stratego, but unlike Stratego, KURE is strongly typed. KURE is similar to StrategyLib, but has a lightweight generic traversal mechanism using type families rather than SYB. The basic transformation functionality can be found in Language.KURE.Translate, 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 a larger example, see the HERMIT package.
Modules
[Index]
Downloads
- kure-2.6.14.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
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) [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2012--2013 The University of Kansas |
| Author | Neil Sculthorpe and Andy Gill |
| Maintainer | Neil Sculthorpe <neil@ittc.ku.edu> |
| Category | Language |
| Home page | http://www.ittc.ku.edu/csdl/fpg/Tools/KURE |
| Uploaded | by NeilSculthorpe at 2013-01-10T15:51:41Z |
| 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 uploaded by user Build status unknown [no reports yet] |