LayeredLayout.CrossingMin.NorthSouth

type Metadata = { dummies :: Map NodeId PortDummy, owners :: Map NodeId (Array PortDummy), portPositions :: Map (NodeId /\ PortId) Int, successors :: Array { after :: NodeId, before :: NodeId }, units :: Map NodeId NodeId }

metadata :: State -> Map NodeId (Array Port) -> Metadata

associates :: Metadata -> NodeId -> Array NodeId

constraints :: Metadata -> Array NodeId -> Array { after :: NodeId, before :: NodeId }

crossings :: Metadata -> Ports -> Array (Array NodeId) -> Int

neighboringCrossings :: Metadata -> Ports -> NodeId -> NodeId -> { after :: Int, before :: Int }

preventsSwitch :: Metadata -> NodeId -> NodeId -> Boolean