MingaEditor.State (Minga v0.1.0)

Copy Markdown View Source

Immutable root value for the single Editor GenServer.

The root stores exactly 16 owner values. Leaf transitions belong to those owners. This module retains only pure transitions whose invariant atomically spans at least two top-level owners; process, registry, persistence, logging, rendering, and service work belongs to focused workflows around these transitions.

Summary

Types

backend()
buffer_registration_result()

Focused result from a pure buffer-registration transition.

cmd_hover_link()

Transient Cmd/Ctrl-hover go-to-definition link range, or nil.

document_highlight()

A document highlight range from the LSP server.

events_registry()

Event bus registry used by this editor instance.

keymap_server()

Re-export of Minga.Keymap.server/0 for editor-state callers.

line_number_style()

Line number display style.

options_server()

Re-export of Minga.Config.Options.server/0 for editor-state callers.

render_receipt_result()
rendering_policy()
shell_state()
t()
tab_switch_result()

Focused result from a pure tab-switch transition.

Functions

accept_extension_event_result(current, base, candidate)

Commits an extension snapshot transition unless semantic Editor state superseded it.

accept_frontend_ready(state, viewport, capabilities)

Commits frontend capabilities and viewport dimensions as one connection observation.

apply_theme(state, theme)

Atomically selects a theme and recolors parser-owned highlights.

drop_extension_feature_state_sources(state, entries)

Drops extension feature state across the live workspace, tab snapshots, and shell stash.

drop_feature_state_source(state, entries, source)

Drops one feature source across the live workspace, tab snapshots, and shell stash.

enter_empty_state(state)

Enters the zero-buffer launchpad and retires every departing file tab operation.

install_buffer_shell_transition(state, runtime, workspace)

Purely installs a workflow-calculated buffer shell transition into the root.

integrate_renderer_receipt(state, receipt)

Atomically integrates a fresh asynchronous receipt or returns its stale reason.

integrate_synchronous_renderer_receipt(state, receipt)

Atomically integrates a synchronous focused renderer receipt.

register_buffer(state, pid, context)

Purely adds or activates a buffer across workspace and lifecycle owners.

remove_buffer(state, pid)

Removes a retired buffer across every root owner that retains its identity.

reset_frontend_render_state(state)

Clears workspace and render observations after frontend state loss.

resize_frontend(state, viewport)

Commits a frontend resize to workspace and frontend owners atomically.

restore_tab_context(state, context)

Restores a tab context and installs synthesized defaults for a brand-new tab.

retire_lsp_operations_for_tab(state, tab_id)

Retires tab-scoped LSP correlations and their operation feedback atomically.

submit_render_intent(state)

Advances the semantic render revision and installs it through the Render owner.

switch_tab(state, target_id)

Purely switches tab-owned root values and returns the selected tab.

take_keyframe_request(state)

Transfers one queued keyframe request to the renderer boundary.

Types

backend()

@type backend() :: MingaEditor.State.Frontend.backend()

buffer_registration_result()

@type buffer_registration_result() :: :already_registered | {:monitor, pid()}

Focused result from a pure buffer-registration transition.

cmd_hover_link()

@type cmd_hover_link() :: MingaEditor.Session.State.cmd_hover_link()

Transient Cmd/Ctrl-hover go-to-definition link range, or nil.

document_highlight()

@type document_highlight() :: Minga.LSP.DocumentHighlight.t()

A document highlight range from the LSP server.

events_registry()

@type events_registry() :: Minga.Events.registry()

Event bus registry used by this editor instance.

keymap_server()

@type keymap_server() :: Minga.Keymap.server()

Re-export of Minga.Keymap.server/0 for editor-state callers.

line_number_style()

@type line_number_style() :: :hybrid | :absolute | :relative | :none

Line number display style.

options_server()

@type options_server() :: Minga.Config.Options.server()

Re-export of Minga.Config.Options.server/0 for editor-state callers.

render_receipt_result()

@type render_receipt_result() ::
  :applied
  | {:stale,
     MingaEditor.State.RenderCorrelation.freshness_reason() | :shell_identity}

rendering_policy()

@type rendering_policy() :: MingaEditor.State.Frontend.rendering_policy()

shell_state()

@type shell_state() :: MingaEditor.Shell.shell_state()

t()

@type t() :: %MingaEditor.State{
  agent_connection: MingaEditor.State.AgentConnection.t(),
  appearance: MingaEditor.State.Appearance.t(),
  buffer_lifecycle: MingaEditor.State.BufferLifecycle.t(),
  effect_scheduler: GenServer.server() | nil,
  extension_surfaces: MingaEditor.State.ExtensionSurfaces.t(),
  feedback: MingaEditor.State.Feedback.t(),
  frontend: MingaEditor.State.Frontend.t(),
  git: MingaEditor.State.Git.t(),
  interaction: MingaEditor.State.Interaction.t(),
  lsp: MingaEditor.State.LSP.t(),
  parser: MingaEditor.State.Parser.t(),
  remote: MingaEditor.State.Remote.t(),
  render: MingaEditor.State.Render.t(),
  session: MingaEditor.State.Session.t(),
  shell_runtime: MingaEditor.Shell.Runtime.t(),
  workspace: MingaEditor.Session.State.t()
}

tab_switch_result()

@type tab_switch_result() :: :unchanged | {:switched, MingaEditor.State.Tab.t()}

Focused result from a pure tab-switch transition.

Functions

accept_extension_event_result(current, base, candidate)

@spec accept_extension_event_result(t(), t(), t()) :: {:ok, t()} | :stale

Commits an extension snapshot transition unless semantic Editor state superseded it.

accept_frontend_ready(state, viewport, capabilities)

@spec accept_frontend_ready(
  t(),
  MingaEditor.Viewport.t(),
  MingaEditor.Frontend.Capabilities.t()
) :: t()

Commits frontend capabilities and viewport dimensions as one connection observation.

apply_theme(state, theme)

@spec apply_theme(t(), MingaEditor.UI.Theme.t()) :: t()

Atomically selects a theme and recolors parser-owned highlights.

drop_extension_feature_state_sources(state, entries)

@spec drop_extension_feature_state_sources(t(), [MingaEditor.Shell.Entry.t()]) :: t()

Drops extension feature state across the live workspace, tab snapshots, and shell stash.

drop_feature_state_source(state, entries, source)

@spec drop_feature_state_source(
  t(),
  [MingaEditor.Shell.Entry.t()],
  MingaEditor.FeatureState.source()
) ::
  t()

Drops one feature source across the live workspace, tab snapshots, and shell stash.

enter_empty_state(state)

@spec enter_empty_state(t()) :: t()

Enters the zero-buffer launchpad and retires every departing file tab operation.

install_buffer_shell_transition(state, runtime, workspace)

@spec install_buffer_shell_transition(
  t(),
  MingaEditor.Shell.Runtime.t(),
  MingaEditor.Session.State.t()
) ::
  t()

Purely installs a workflow-calculated buffer shell transition into the root.

integrate_renderer_receipt(state, receipt)

@spec integrate_renderer_receipt(t(), MingaEditor.Renderer.RenderReceipt.t()) ::
  {t(), render_receipt_result()}

Atomically integrates a fresh asynchronous receipt or returns its stale reason.

integrate_synchronous_renderer_receipt(state, receipt)

@spec integrate_synchronous_renderer_receipt(
  t(),
  MingaEditor.Renderer.RenderReceipt.t()
) :: t()

Atomically integrates a synchronous focused renderer receipt.

register_buffer(state, pid, context)

@spec register_buffer(t(), pid(), MingaEditor.Shell.buffer_add_context()) ::
  {t(), buffer_registration_result()}

Purely adds or activates a buffer across workspace and lifecycle owners.

remove_buffer(state, pid)

@spec remove_buffer(t(), pid()) :: t()

Removes a retired buffer across every root owner that retains its identity.

reset_frontend_render_state(state)

@spec reset_frontend_render_state(t()) :: t()

Clears workspace and render observations after frontend state loss.

resize_frontend(state, viewport)

@spec resize_frontend(t(), MingaEditor.Viewport.t()) :: t()

Commits a frontend resize to workspace and frontend owners atomically.

restore_tab_context(state, context)

@spec restore_tab_context(
  t(),
  MingaEditor.State.Tab.context() | MingaEditor.State.Tab.legacy_context()
) ::
  t()

Restores a tab context and installs synthesized defaults for a brand-new tab.

retire_lsp_operations_for_tab(state, tab_id)

@spec retire_lsp_operations_for_tab(t(), MingaEditor.State.Tab.id()) :: t()

Retires tab-scoped LSP correlations and their operation feedback atomically.

submit_render_intent(state)

@spec submit_render_intent(t()) :: {t(), pos_integer()}

Advances the semantic render revision and installs it through the Render owner.

switch_tab(state, target_id)

@spec switch_tab(t(), MingaEditor.State.Tab.id()) :: {t(), tab_switch_result()}

Purely switches tab-owned root values and returns the selected tab.

take_keyframe_request(state)

@spec take_keyframe_request(t()) :: {boolean(), t()}

Transfers one queued keyframe request to the renderer boundary.