GraphRewriting.Strategies.Control

Documentation

data Wrapper n

Constructors

Wrapper

Fields

• control :: Control
• wrapped :: n

Instances

View v n => View v (Wrapper n)

Methods

inspect :: Wrapper n -> v

update :: v -> Wrapper n -> Wrapper n

adjust :: (v -> v) -> Wrapper n -> Wrapper n

View Control (Wrapper n)

Methods

inspect :: Wrapper n -> Control

update :: Control -> Wrapper n -> Wrapper n

adjust :: (Control -> Control) -> Wrapper n -> Wrapper n

LeftmostOutermost n => LeftmostOutermost (Wrapper n)

Methods

lmoPort :: Wrapper n -> Maybe Port

data Control

Constructors

Control

Fields

• stack :: [Node]

NoControl

Instances

View Control (Wrapper n)

Methods

inspect :: Wrapper n -> Control

update :: Control -> Wrapper n -> Wrapper n

adjust :: (Control -> Control) -> Wrapper n -> Wrapper n

wrapGraph :: Graph n -> Graph (Wrapper n)

Wraps the nodes of a graph, augmenting them with control information