GraphRewriting.Layout.Wrapper
- data Wrapper w
- wrapGraph :: Graph n -> Graph (Wrapper n)
- 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
Documentation
Wraps a value of type w
, augmenting it with layout information
wrapGraph :: Graph n -> Graph (Wrapper n)Source
Wraps the nodes of a graph, augmenting them with layout information
updateWrappee :: w -> Wrapper t -> Wrapper wSource
module Data.View
module GraphRewriting.Graph.Types
module Data.Vector