packages feed

kure-0.2.2: kure.cabal

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

Category:            Language
License:             BSD3
License-file:        LICENSE
Author:              Andy Gill
Maintainer:          Andy Gill <andygill@ku.edu>
Copyright:           (c) 2006-2008 Andy Gill
Homepage:            http://ittc.ku.edu/~andygill/kure.php
Stability:	     alpha
build-type: 	     Simple
Cabal-Version:       >= 1.6
Extra-Source-Files:
    test/Test.hs
    test/Exp.hs
    test/Id.hs

Library
  Build-Depends:        base
  Exposed-modules:
       Language.KURE,
       Language.KURE.RewriteMonad, 
       Language.KURE.Translate,
       Language.KURE.Rewrite,
       Language.KURE.Combinators,
       Language.KURE.Term

  Ghc-Options:  -Wall


--Executable test1
--  Ghc-Options:     -fhpc
--  Main-Is:        Test.hs
--  Hs-Source-Dirs: ., test
--  buildable: True