MingaEditor.State.InlineEdit (Minga v0.1.0)

Copy Markdown View Source

Ephemeral inline edit overlays keyed by buffer.

The shared per-buffer store mechanics (active/2, put/2, dismiss/2, session?/2) and prompt-input mechanics (append_input/2, backspace/1, scroll/2) live in MingaEditor.InlineOverlay.Store and MingaEditor.InlineOverlay.Prompt and are reused here. This module owns only the edit-specific shape and transitions: the selection/original text, the proposed rewrite with its :stream vs :tool source tracking, and the :proposed terminal state.

Summary

Types

proposal_source()
status()
store()
t()

Functions

active(store, buffer_pid)
agent_prompt(edit)

Builds the constrained rewrite prompt.

append_input(edit, text)
append_proposal(edit, delta)

Appends proposed replacement text streamed by the assistant.

backspace(edit)
dismiss(store, buffer_pid)
fail(edit, message)

Marks the edit as failed.

header(inline_edit)

Returns the prompt header.

install_proposal(edit, proposed)

Installs proposed replacement text from the constrained rewrite tool.

mark_thinking(edit)

Refreshes the visible thinking status.

new(buffer_pid, file_ref, file_label, arg, original_text)

Creates a new inline edit for a selected line range.

proposed(edit)

Marks the edit as proposed.

put(store, edit)
scroll(edit, delta)
session?(store, session_pid)
thinking(edit, session_pid)

Marks the edit as thinking.

Types

proposal_source()

@type proposal_source() :: :stream | :tool | nil

status()

@type status() :: :input | :thinking | :proposed | :error

store()

@type store() :: %{required(pid()) => t()}

t()

@type t() :: %MingaEditor.State.InlineEdit{
  buffer_pid: pid(),
  file_label: String.t(),
  file_ref: Minga.Project.FileRef.t(),
  original_text: String.t(),
  prompt: String.t(),
  proposal_source: proposal_source(),
  proposed_rewrite: String.t(),
  scroll: non_neg_integer(),
  selection_range: {non_neg_integer(), non_neg_integer()},
  session_pid: pid() | nil,
  status: status()
}

Functions

active(store, buffer_pid)

@spec active(store(), pid() | nil) :: t() | nil

agent_prompt(edit)

@spec agent_prompt(t()) :: String.t()

Builds the constrained rewrite prompt.

append_input(edit, text)

@spec append_input(t(), String.t()) :: t()

append_proposal(edit, delta)

@spec append_proposal(t(), String.t()) :: t()

Appends proposed replacement text streamed by the assistant.

backspace(edit)

@spec backspace(t()) :: t()

dismiss(store, buffer_pid)

@spec dismiss(store(), pid() | nil) :: {store(), pid() | nil}

fail(edit, message)

@spec fail(t(), String.t()) :: t()

Marks the edit as failed.

header(inline_edit)

@spec header(t()) :: String.t()

Returns the prompt header.

install_proposal(edit, proposed)

@spec install_proposal(t(), String.t()) :: t()

Installs proposed replacement text from the constrained rewrite tool.

mark_thinking(edit)

@spec mark_thinking(t()) :: t()

Refreshes the visible thinking status.

new(buffer_pid, file_ref, file_label, arg, original_text)

@spec new(
  pid(),
  Minga.Project.FileRef.t(),
  String.t(),
  {non_neg_integer(), non_neg_integer()},
  String.t()
) :: t()

Creates a new inline edit for a selected line range.

proposed(edit)

@spec proposed(t()) :: t()

Marks the edit as proposed.

put(store, edit)

@spec put(store(), t()) :: store()

scroll(edit, delta)

@spec scroll(t(), integer()) :: t()

session?(store, session_pid)

@spec session?(store(), pid()) :: boolean()

thinking(edit, session_pid)

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

Marks the edit as thinking.