Name: graph-rewriting-strategies Version: 0.2 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. Currently only leftmost-outermost reduction is implemented. Category: Graphs, Graphics Cabal-Version: >= 1.6 Library Build-Depends: base >= 4 && < 4.6, base-unicode-symbols >= 0.2 && < 0.3, graph-rewriting >= 0.7 && < 0.8, containers >= 0.4 && < 0.5 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