Name: graph-rewriting
Version: 0.5
Copyright: (c) 2010, Jan Rochel
License: BSD3
License-File: LICENSE
Author: Jan Rochel
Maintainer: jan@rochel.info
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 -fwarn-unused-imports