GraphRewriting

This is a monadic graph rewriting library for port (hyper)graphs with a strong emphasis on nodes. It aims primarily at making it as convenient as possible to specify graph rewriting systems in Haskell and to experiment with them. There are a few aspects of the design to be pointed out:

1. The graph structure is essentially representated as a collection of nodes. The nodes have a user-defined type, where each node features a list of Ports to each of which an Edge is attached. Edges are unlabeled and can not exist autonomously, i.e. each edge is connected to at least one port. Two ports are connected if (and only if) they share the same edge. What is particularly convenient is how these ports can be modeled as constructor fields of a user-defined node type.
2. An important abstraction used in this library is the multi-parameter type-class View. It permits to expose a certain aspect of a node, allowing both to inspect or update it, while hiding the internal representation of the node. By that it is easy to specify the rewrite system in a way, that it can not only be applied to a graph with nodes of a fixed node type, but also to a Graph with polymorphic node type n. The nodes merely have to expose values of type v by means of defining a View v on n. The View abstraction is also used to expose the nodes' ports (and therefore the graph structure) to this library.
3. Rewrite Rule are represented as Patterns that return a Rewrite. A Pattern is a branching scrutinisation of the graph that returns a result for every possible matching position in the graph. A Rule is essentially a Pattern that returns a Rewrite. A Rewrite is a monadic modification of the graph structure. In a Rule the Rewrite part can conveniently use the variables bound in the Pattern code.

For an example of a simple rewrite system, see the graph-rewriting-ski package, an implementation of SKI combinators. Together with the graph-rewriting-layout and the graph-rewriting-gl packages it is easy to build a graphical and interactive application to experiment with your rewrite system.

What the library does not (yet) offer are combinators to define strategies, since the emphasis of the project was to create an interactive graph-rewriting tool where rules and rewriting positions are selected manually.

Documentation

graph representation, Rewrite monad

module GraphRewriting.Graph.Types

mapping over nodes, graph creation, applying a Rewrite

module GraphRewriting.Graph

monadic graph scrutinisation

module GraphRewriting.Graph.Read

monadic graph modification

module GraphRewriting.Graph.Write

branching graph scrutinisation that keeps track of scrutinised nodes

module GraphRewriting.Pattern

combine a Pattern with a Rewrite to obtain a rewrite rule

module GraphRewriting.Rule

module Data.View