Name: graph-rewriting-strategies
Version: 0.2.5
Copyright: 2012, Robert Kreuzer, Jan Rochel
License: BSD3
License-File: LICENSE
Author: Robert Kreuzer, Jan Rochel
Maintainer: jan@rochel.info
Homepage: http://rochel.info/#graph-rewriting
Stability: alpha
Build-Type: Simple
Synopsis: Evaluation strategies for port-graph rewriting systems
Description: Defines a mechanism to add evaluation strategies to graph rewriting systems defined in terms of the graph-rewriting library. Currently only leftmost-outermost reduction is implemented.
Category: Graphs, Graphics
Cabal-Version: >= 1.6
Extra-Source-Files: AUTHORS
Library
Build-Depends:
base >= 4 && < 5,
base-unicode-symbols >= 0.2,
graph-rewriting >= 0.7.8,
containers >= 0.4
Exposed-Modules:
GraphRewriting.Strategies.Control
GraphRewriting.Strategies.LeftmostOutermost
Extensions:
UnicodeSyntax
FlexibleInstances
MultiParamTypeClasses
FlexibleContexts
OverlappingInstances
GHC-Options: -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs