GraphRewriting.Strategies.Control
data Wrapper n Source #
Constructors
Fields
Defined in GraphRewriting.Strategies.Control
Methods
inspect :: Wrapper n -> Control #
update :: Control -> Wrapper n -> Wrapper n #
adjust :: (Control -> Control) -> Wrapper n -> Wrapper n #
inspect :: Wrapper n -> v #
update :: v -> Wrapper n -> Wrapper n #
adjust :: (v -> v) -> Wrapper n -> Wrapper n #
Defined in GraphRewriting.Strategies.LeftmostOutermost
lmoPort :: Wrapper n -> Maybe Port Source #
data Control Source #
wrapGraph :: Graph n -> Graph (Wrapper n) Source #
Wraps the nodes of a graph, augmenting them with control information