MingaEditor.NativeIPC.OperationReceipt.Target (Minga v0.1.0)

Copy Markdown View Source

Core-scoped semantic target for one presentation postcondition.

Summary

Types

kind()
t()

Functions

token_for_path(path)

Derives the opaque wire token for one canonical target path.

with_window_id(target, window_id)

Returns a target correlated to its applied pane.

Types

kind()

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

t()

@type t() :: %MingaEditor.NativeIPC.OperationReceipt.Target{
  activation_id: pos_integer() | nil,
  buffer_id: non_neg_integer() | nil,
  kind: kind(),
  path: String.t() | nil,
  picker_generation: pos_integer() | nil,
  requested_token: non_neg_integer() | nil,
  tab_id: pos_integer() | nil,
  token: non_neg_integer(),
  window_id: non_neg_integer()
}

Functions

token_for_path(path)

@spec token_for_path(String.t()) :: non_neg_integer()

Derives the opaque wire token for one canonical target path.

with_window_id(target, window_id)

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

Returns a target correlated to its applied pane.