packages feed

kure-0.3.1: kure.cabal

Name:                kure
Version:             0.3.1
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-2009 Andy Gill
Homepage:            http://ittc.ku.edu/~andygill/kure.php
Stability:	     alpha
build-type: 	     Simple
Cabal-Version:       >= 1.6

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