Name: graph-rewriting Version: 0.5.2 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE Author: Jan Rochel Maintainer: jan@rochel.info Homepage: http://rochel.info/#graph-rewriting Stability: beta Build-Type: Simple Synopsis: Monadic graph rewriting of hypergraphs with ports and multiedges Description: This library provides a monadic EDSL to define your own graph rewrite system in Haskell. Once you have specified the signature of your graph and a set of rewrite rules, you can apply these rules on a graph to effect a graph transformation. The aim of this library is to make it as convenient as possible to define such a system and experiment with it and is not designed as a backend for high-performance computation. Category: Graphs, Data Cabal-Version: >= 1.6 Library Build-Depends: base >= 4 && < 4.4, base-unicode-symbols >= 0.2 && < 0.3, mtl >= 1.1 && < 1.2, containers >= 0.3 && < 0.5 Exposed-Modules: Data.View GraphRewriting GraphRewriting.Graph GraphRewriting.Graph.Types GraphRewriting.Graph.Read GraphRewriting.Graph.Write GraphRewriting.Graph.Write.Unsafe GraphRewriting.Pattern GraphRewriting.Pattern.InteractionNet GraphRewriting.Rule Other-Modules: GraphRewriting.Graph.Internal GraphRewriting.Pattern.Internal GraphRewriting.Rule.Internal Extensions: UnicodeSyntax FlexibleContexts FlexibleInstances TypeSynonymInstances MultiParamTypeClasses GHC-Options: -fno-warn-duplicate-exports