DataViz.Layout.StateMachine.Types

type State extra = { extra :: extra, id :: String, isFinal :: Boolean, isInitial :: Boolean, label :: String }

A state in the state machine The extra field allows attaching arbitrary data (e.g., phantom type info)

type Transition = { from :: String, label :: String, to :: String }

A transition between states

type StateMachine extra = { states :: Array (State extra), transitions :: Array Transition }

Complete state machine definition

type StatePosition = { cx :: Number, cy :: Number, rx :: Number, ry :: Number }

Computed position for a state

type TransitionPath = { angle :: Number, controlX :: Number, controlY :: Number, endX :: Number, endY :: Number, isSelfLoop :: Boolean, labelX :: Number, labelY :: Number, startX :: Number, startY :: Number }

Computed path for a transition arrow Uses quadratic bezier for curved arrows

type LayoutState extra = { position :: StatePosition, state :: State extra }

A state with computed layout

type LayoutTransition = { path :: TransitionPath, transition :: Transition }

A transition with computed layout

type StateMachineLayout extra = { height :: Number, initialArrow :: { angle :: Number, x :: Number, y :: Number }, states :: Array (LayoutState extra), transitions :: Array (LayoutTransition), width :: Number }

Complete layout output ready for rendering