External and presentation workflow around pure root tab transitions.
Registry validation, remote event replay, agent session snapshots, transcript
reads, spinner timers, and modal presentation stay here. MingaEditor.State
installs only the atomic immutable tab transition.
Summary
Functions
Runs the presentation and persistence effects for an accepted staged switch.
Restores a context and synchronizes its workspace-backed agent presentation.
Stages the pure root transition for an already validated tab target.
Returns the effect-free state produced by a staged tab switch.
Switches tabs and performs the external work requested by the pure transition result.
Transfers the active workspace agent presentation and replays pending foreground catch-up events.
Types
Functions
@spec commit_staged_switch(staged_switch(), MingaEditor.State.t()) :: MingaEditor.State.t()
Runs the presentation and persistence effects for an accepted staged switch.
@spec restore_context( MingaEditor.State.t(), MingaEditor.State.Tab.context() | MingaEditor.State.Tab.legacy_context() ) :: MingaEditor.State.t()
Restores a context and synchronizes its workspace-backed agent presentation.
@spec stage_switch(MingaEditor.State.t(), MingaEditor.State.Tab.id()) :: staged_switch()
Stages the pure root transition for an already validated tab target.
@spec staged_state(staged_switch()) :: MingaEditor.State.t()
Returns the effect-free state produced by a staged tab switch.
@spec switch(MingaEditor.State.t(), MingaEditor.State.Tab.id()) :: MingaEditor.State.t()
Switches tabs and performs the external work requested by the pure transition result.
@spec sync_active_workspace_agent_ui(MingaEditor.State.t()) :: MingaEditor.State.t()
Transfers the active workspace agent presentation and replays pending foreground catch-up events.