MingaEditor.Shell.Identity (Minga v0.1.0)

Copy Markdown View Source

Stable registry identity for a shell registration.

Shell ids are user-facing names that extension sources may unregister and later reuse. Runtime state and asynchronous renderer snapshots use this identity to prove they still belong to the currently registered shell before they are restored or written back.

Summary

Types

t()

Functions

matches?(identity, entry)

Returns true when the identity still refers to the registry entry.

new(entry)

Builds an identity from a registry entry.

Types

t()

@type t() :: %MingaEditor.Shell.Identity{
  generation: non_neg_integer(),
  module: module(),
  source: MingaEditor.Shell.Entry.source()
}

Functions

matches?(identity, entry)

@spec matches?(t(), MingaEditor.Shell.Entry.t()) :: boolean()

Returns true when the identity still refers to the registry entry.

new(entry)

@spec new(MingaEditor.Shell.Entry.t()) :: t()

Builds an identity from a registry entry.