-
Notifications
You must be signed in to change notification settings - Fork 4
/
kure.cabal
74 lines (71 loc) · 2.93 KB
/
kure.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
Name: kure
Version: 3.0.0
Synopsis: Combinators for Strategic Programming
Description: 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.
<http://www.cs.swan.ac.uk/~csnas/papers_and_talks/kure.pdf>
Category: Language
License: BSD3
License-file: LICENSE
Author: Neil Sculthorpe, Andy Gill and Ryan Scott
Maintainer: Neil Sculthorpe <[email protected]>
Copyright: (c) 2006--2015 The University of Kansas
Homepage: http://www.ittc.ku.edu/csdl/fpg/software/kure.html
Stability: beta
build-type: Simple
Cabal-Version: >= 1.16
tested-with: GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2
Extra-Source-Files:
README.md
CHANGELOG.md
examples/Examples.hs
examples/Fib/AST.hs
examples/Fib/Kure.hs
examples/Fib/Examples.hs
examples/Lam/AST.hs
examples/Lam/Context.hs
examples/Lam/Monad.hs
examples/Lam/Kure.hs
examples/Lam/Examples.hs
examples/Expr/AST.hs
examples/Expr/Context.hs
examples/Expr/Kure.hs
examples/Expr/Examples.hs
Library
Build-Depends:
base >= 4.8 && < 5,
dlist >= 0.6 && < 1,
exceptions >= 0.8 && < 1,
fail,
transformers >= 0.4.1 && < 1
default-language: Haskell2010
Ghc-Options: -Wall
Exposed-modules:
Language.KURE
Language.KURE.BiTransform
Language.KURE.Combinators
Language.KURE.Combinators.Arrow
Language.KURE.Combinators.Monad
Language.KURE.Combinators.Transform
Language.KURE.Debug
Language.KURE.Exceptions
Language.KURE.ExtendableContext
Language.KURE.Injection
Language.KURE.Lens
Language.KURE.MonadCatch
Language.KURE.Path
Language.KURE.Pathfinder
Language.KURE.Transform
Language.KURE.Walker
source-repository head
type: git
location: git://github.com/ku-fpg/kure