graph-rewriting-strategies-0.2.3: graph-rewriting-strategies.cabal

Name:          graph-rewriting-strategies
Version:       0.2.3
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

Library
  Build-Depends:
    base >= 4 && < 4.8,
    base-unicode-symbols >= 0.2 && < 0.3,
    graph-rewriting >= 0.7 && < 0.8,
    containers >= 0.4 && < 0.6
  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