kure: Combinators for Strategic Programming

[ bsd3, language, library ] [ Propose Tags ]

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.

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
Dependencies base (>=4.5 && <5) [details]
License BSD-3-Clause
Copyright (c) 2012 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 Fri Jul 13 18:22:10 UTC 2012
Distributions NixOS:2.16.12
Downloads 8941 total (38 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees