MingaEditor.Shell.Identity (Minga v0.1.0)

Copy Markdown View Source

Exact identity for one shell registration.

Shell ids are user-facing names that extension sources may unregister and later reuse. Runtime state, stashes, and asynchronous renderer snapshots compare the same id, module, source, and registry generation before state is restored or written back.

Summary

Functions

Returns true when two values describe the same exact registration.

Builds an exact identity from a registry entry.

Types

comparable()

@type comparable() :: t() | MingaEditor.Shell.Entry.t()

t()

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

Functions

matches?(left, right)

@spec matches?(comparable(), comparable()) :: boolean()

Returns true when two values describe the same exact registration.

new(entry)

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

Builds an exact identity from a registry entry.