Name: graph-rewriting-strategies
Version: 0.2.9
Copyright: 2012, Robert Kreuzer, Jan Rochel
License: BSD3
License-File: LICENSE
Author: Robert Kreuzer, Jan Rochel
Maintainer: jan@rochel.info
Homepage: https://github.com/jrochel/graph-rewriting
Bug-Reports: https://github.com/jrochel/graph-rewriting/issues
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
Cabal-Version: >= 1.10
Extra-Source-Files: AUTHORS
Library
Default-Language: Haskell2010
Build-Depends:
base >= 4.9 && < 5,
base-unicode-symbols >= 0.2 && < 0.3,
graph-rewriting >= 0.7.8 && < 0.9.0,
containers >= 0.4 && < 0.7
Exposed-Modules:
GraphRewriting.Strategies.Control
GraphRewriting.Strategies.LeftmostOutermost
Default-Extensions:
UnicodeSyntax
Other-Extensions:
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