kure: Combinators for Strategic Programming
KURE is a DSL for building rewriting DSLs. KURE shares combinator names and concepts with Stratego, but unlike Stratego, KURE is strongly typed. KURE is similar to Strafunski, but has a lightweight generic traversal mechanism using type families rather than SYB, and the KURE combinators are parameterized to provide the ability to have context sensitive rewrites.
Modules
[Index]
Downloads
- kure-0.2.2.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 [details] |
| License | BSD-3-Clause |
| Copyright | (c) 2006-2008 Andy Gill |
| Author | Andy Gill |
| Maintainer | Andy Gill <andygill@ku.edu> |
| Category | Language |
| Home page | http://ittc.ku.edu/~andygill/kure.php |
| Uploaded | by AndyGill at 2008-12-31T05:31:28Z |
| 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] |