kure-2.6.14: kure.cabal

Name:                kure
Version:             2.6.14
Synopsis:            Combinators for Strategic Programming
Description:	     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.

Category:            Language
License:             BSD3
License-file:        LICENSE
Author:              Neil Sculthorpe and Andy Gill
Maintainer:          Neil Sculthorpe <neil@ittc.ku.edu>
Copyright:           (c) 2012--2013 The University of Kansas
Homepage:            http://www.ittc.ku.edu/csdl/fpg/Tools/KURE
Stability:	     beta
build-type: 	     Simple
Cabal-Version:       >= 1.6
Extra-Source-Files:
    examples/Examples.hs
    examples/Fib/AST.hs
    examples/Fib/Kure.hs
    examples/Fib/Examples.hs
    examples/Lam/AST.hs
    examples/Lam/Kure.hs
    examples/Lam/Examples.hs
    examples/Expr/AST.hs
    examples/Expr/Kure.hs
    examples/Expr/Examples.hs

Library
  Build-Depends: base >= 4.5 && < 5
  Ghc-Options: -Wall
  Exposed-modules:
       Language.KURE
       Language.KURE.BiTranslate
       Language.KURE.Combinators
       Language.KURE.Combinators.Arrow
       Language.KURE.Combinators.Monad
       Language.KURE.Combinators.Translate
       Language.KURE.Debug
       Language.KURE.Injection
       Language.KURE.Lens
       Language.KURE.MonadCatch
       Language.KURE.Translate
       Language.KURE.Walker