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