graph-rewriting-0.5.2: Monadic graph rewriting of hypergraphs with ports and multiedges

GraphRewriting.Graph.Types

Synopsis

Documentation

data Graph n Source

Hypergraph that holds nodes of type n. Nodes can be referenced by type Node, edges by type Edge, see GraphRewriting.Graph.Read and GraphRewriting.Graph.Write

type Rewrite n = State (Graph n)Source

data Node Source

Instances

data Port Source

Instances

type EdgeSource

Arguments

 = Port

a hyperedge really, connecting a non-empty subset of the graph's nodes (see attachedNodes)