graph-rewriting-strategies-0.2.4: Evaluation strategies for port-graph rewriting systems
GraphRewriting.Strategies.Control
Synopsis
data Wrapper n Source
Constructors
Fields
Instances
data Control Source
wrapGraph :: Graph n -> Graph (Wrapper n) Source
Wraps the nodes of a graph, augmenting them with control information