LayeredLayout.EdgeLabels

type LabelState = { dummies :: Array LabelDummy, edges :: Array Edge, nodes :: Array Node, sizes :: Map EdgeId GridSize }

type LabelDummy = { edge :: Edge, node :: NodeId, side :: LabelSide, size :: GridSize, tail :: EdgeId }

data LabelSide

Constructors

• Above
• Below

insert :: Map EdgeId GridSize -> Graph -> Array Edge -> LabelState

switchDummies :: LabelState -> DummyResult -> { dummies :: DummyResult, labels :: LabelState }

selectSides :: Array (Array NodeId) -> DummyResult -> LabelState -> LabelState

portOffsets :: LabelState -> Array Edge -> EdgePortOffsets -> EdgePortOffsets

placements :: LabelState -> Array NodePlacement -> Array EdgeLabelPlacement

restore :: LabelState -> Array EdgePath -> Array EdgePath