GraphRewriting.Graph.Types

Documentation

data Graph n

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)

data Node

Instances

Eq Node

Ord Node

Show Node

data Port

Instances

Eq Port

Ord Port

Show Edge

type Edge

Arguments

 = Port

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