GraphRewriting.Layout.Wrapper

Documentation

data Wrapper w

Wraps a value of type w, augmenting it with layout information

Instances

View w (Wrapper w)

View Rotation (Wrapper n)

View Position (Wrapper n)

PortSpec n => PortSpec (Wrapper n)

View [Port] n => View [Port] (Wrapper n)

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

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

wrappee :: Wrapper w -> w

updateWrappee :: w -> Wrapper t -> Wrapper w

module Data.View

module GraphRewriting.Graph.Types

module GraphRewriting.Layout.Position

module GraphRewriting.Layout.PortSpec

module GraphRewriting.Layout.Rotation

module GraphRewriting.Layout.RotPortSpec

module Data.Vector