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

Instances

MonadReader (Graph n) (Rewrite n)

MonadState (Graph n) (Rewrite n)

data Rewrite n a

Instances

Monad (Rewrite n)

Functor (Rewrite n)

MonadFix (Rewrite n)

MonadReader (Graph n) (Rewrite n)

MonadState (Graph n) (Rewrite 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)