MingaEditor.NativeIPC.NavigationCommand (Minga v0.1.0)

Typed, finite semantic navigation request accepted by the local native IPC boundary.

Summary

Types

choice_kind()

kind()

t()

Functions

parse(command)

Parses one supported wire command without creating atoms or accepting executable input.

receipt_target(command)

Returns the receipt target admitted before serialized Editor application.

Types

choice_kind()

@type choice_kind() :: :item | :action

kind()

@type kind() :: :focus_pane | :select_tab | :goto_location | :activate_picker_choice

t()

@type t() :: %MingaEditor.NativeIPC.NavigationCommand{
  activation_id: pos_integer() | nil,
  app_instance_id: String.t(),
  buffer_id: non_neg_integer() | nil,
  buffer_revision: non_neg_integer() | nil,
  choice_kind: choice_kind() | nil,
  column: non_neg_integer() | nil,
  core_instance_id: String.t(),
  kind: kind(),
  line: pos_integer() | nil,
  pane_id: pos_integer() | nil,
  picker_generation: pos_integer() | nil,
  tab_id: pos_integer() | nil,
  target_token: non_neg_integer()
}

Functions

parse(command)

@spec parse(map()) :: {:ok, t()} | {:error, atom()}

Parses one supported wire command without creating atoms or accepting executable input.

receipt_target(command)

@spec receipt_target(t()) :: MingaEditor.NativeIPC.OperationReceipt.Target.t()

Returns the receipt target admitted before serialized Editor application.