MingaEditor.State.LSP (Minga v0.1.0)

LSP coordination state for the Editor.

Groups the Editor's LSP-related fields into a focused sub-struct: server status tracking, cached responses (code lenses, inlay hints, selection ranges), and debounce timers for highlight and inlay hint requests.

All mutations go through functions on this module. Other modules read fields directly but never do %{lsp | field: value}.

Summary

Types

operation_request()

server_status()

t()

Functions

append_code_lens(lsp, entry)

Appends a single resolved code lens entry.

cancel_highlight_timer(lsp)

Returns a pure instruction for canceling the highlight debounce timer.

cancel_inlay_hint_timer(lsp)

Returns a pure instruction for canceling the inlay hint debounce timer.

clear_highlight_timer(lsp)

Clears the highlight debounce timer reference without cancelling it.

clear_inlay_hint_timer(lsp)

Clears the inlay hint debounce timer reference without cancelling it.

clear_selection_ranges(lsp)

Clears the stored selection ranges and resets the index.

drop_format(lsp, ref)

Drops a formatting operation by request reference.

expand_selection(lsp)

Moves the selection range index forward (expand) by one step.

fetch_format(lsp, ref)

Fetches a formatting operation by request reference.

format_active?(lsp, ref)

Returns whether a formatting operation is active.

format_for_buffer(lsp, buffer)

Returns the formatting operation for one Buffer.

newest_format(lsp)

Returns the newest active formatting operation.

remember_inlay_viewport(lsp, viewport_top)

Records the viewport top used by the latest inlay-hint request.

set_code_lenses(lsp, lenses)

Replaces the stored code lenses.

set_highlight_timer(lsp, timer)

Sets the highlight debounce timer reference.

set_inlay_hint_timer(lsp, timer, viewport_top)

Sets the inlay hint debounce timer and records the viewport top.

set_inlay_hints(lsp, hints)

Replaces the stored inlay hints.

set_selection_ranges(lsp, ranges)

Stores a selection range chain and resets the index to 0.

shrink_selection(lsp)

Moves the selection range index backward (shrink) by one step.

take_operation_request(lsp, ref)

Takes an Editor-global LSP operation request by response reference.

take_operation_requests_for_tab(lsp, tab_id)

Takes all structured operation requests originating from one departing tab.

track_format(lsp, operation)

Tracks an Editor-global formatting operation.

track_operation_request(lsp, ref, request)

Tracks an Editor-global LSP request for a structured operation.

update_server_status(lsp, name, status)

Updates a single server's status and re-derives the aggregate status.

Types

operation_request()

@type operation_request() ::
  {:references | :rename, pos_integer(), pos_integer() | nil}

server_status()

@type server_status() :: :starting | :initializing | :ready | :crashed

t()

@type t() :: %MingaEditor.State.LSP{
  code_lenses: [map()],
  format_operations: MingaEditor.State.LSP.FormatOperations.t(),
  highlight_debounce_timer: reference() | nil,
  inlay_hint_debounce_timer: reference() | nil,
  inlay_hints: [map()],
  last_inlay_viewport_top: non_neg_integer() | nil,
  operation_requests: %{required(reference()) => operation_request()},
  selection_range_index: non_neg_integer(),
  selection_ranges: [map()] | nil,
  server_statuses: %{required(atom()) => server_status()},
  status: MingaEditor.Shell.Traditional.Modeline.lsp_status()
}

Functions

append_code_lens(lsp, entry)

@spec append_code_lens(t(), map()) :: t()

Appends a single resolved code lens entry.

cancel_highlight_timer(lsp)

@spec cancel_highlight_timer(t()) :: {:cancel_timer, t(), reference() | nil}

Returns a pure instruction for canceling the highlight debounce timer.

cancel_inlay_hint_timer(lsp)

@spec cancel_inlay_hint_timer(t()) :: {:cancel_timer, t(), reference() | nil}

Returns a pure instruction for canceling the inlay hint debounce timer.

clear_highlight_timer(lsp)

@spec clear_highlight_timer(t()) :: t()

Clears the highlight debounce timer reference without cancelling it.

clear_inlay_hint_timer(lsp)

@spec clear_inlay_hint_timer(t()) :: t()

Clears the inlay hint debounce timer reference without cancelling it.

clear_selection_ranges(lsp)

@spec clear_selection_ranges(t()) :: t()

Clears the stored selection ranges and resets the index.

drop_format(lsp, ref)

@spec drop_format(t(), reference()) :: t()

Drops a formatting operation by request reference.

expand_selection(lsp)

@spec expand_selection(t()) :: t()

Moves the selection range index forward (expand) by one step.

fetch_format(lsp, ref)

@spec fetch_format(t(), reference()) ::
  {:ok, MingaEditor.State.LSP.FormatOperation.t()} | :error

Fetches a formatting operation by request reference.

format_active?(lsp, ref)

@spec format_active?(t(), reference()) :: boolean()

Returns whether a formatting operation is active.

format_for_buffer(lsp, buffer)

@spec format_for_buffer(t(), pid()) :: MingaEditor.State.LSP.FormatOperation.t() | nil

Returns the formatting operation for one Buffer.

newest_format(lsp)

@spec newest_format(t()) :: MingaEditor.State.LSP.FormatOperation.t() | nil

Returns the newest active formatting operation.

remember_inlay_viewport(lsp, viewport_top)

@spec remember_inlay_viewport(t(), non_neg_integer()) :: t()

Records the viewport top used by the latest inlay-hint request.

set_code_lenses(lsp, lenses)

@spec set_code_lenses(t(), [map()]) :: t()

Replaces the stored code lenses.

set_highlight_timer(lsp, timer)

@spec set_highlight_timer(t(), reference()) :: t()

Sets the highlight debounce timer reference.

set_inlay_hint_timer(lsp, timer, viewport_top)

@spec set_inlay_hint_timer(t(), reference(), non_neg_integer()) :: t()

Sets the inlay hint debounce timer and records the viewport top.

set_inlay_hints(lsp, hints)

@spec set_inlay_hints(t(), [map()]) :: t()

Replaces the stored inlay hints.

set_selection_ranges(lsp, ranges)

@spec set_selection_ranges(t(), [map()]) :: t()

Stores a selection range chain and resets the index to 0.

shrink_selection(lsp)

@spec shrink_selection(t()) :: t()

Moves the selection range index backward (shrink) by one step.

take_operation_request(lsp, ref)

@spec take_operation_request(t(), reference()) ::
  {:ok, operation_request(), t()} | :error

Takes an Editor-global LSP operation request by response reference.

take_operation_requests_for_tab(lsp, tab_id)

@spec take_operation_requests_for_tab(t(), pos_integer()) ::
  {[operation_request()], t()}

Takes all structured operation requests originating from one departing tab.

track_format(lsp, operation)

@spec track_format(t(), MingaEditor.State.LSP.FormatOperation.t()) :: t()

Tracks an Editor-global formatting operation.

track_operation_request(lsp, ref, request)

@spec track_operation_request(t(), reference(), operation_request()) :: t()

Tracks an Editor-global LSP request for a structured operation.

update_server_status(lsp, name, status)

@spec update_server_status(t(), atom(), atom()) :: t()

Updates a single server's status and re-derives the aggregate status.

When status is :stopped, the server is removed from the map entirely.