Persistent durable identity rope for logical buffer lines.
The rope is an AVL tree whose leaves are contiguous source-id runs. Nodes cache logical size and height, so line count is O(1), rank lookup and splices are O(log runs), and unchanged subtrees are structurally shared. Adjacent source-id runs are coalesced after every concatenation.
Summary
Functions
Applies one document edit to the durable identity rope.
Applies edits in order, stopping transactionally when reconciliation fails.
Returns the content epoch owning this identity rope.
Returns the cached AVL height for invariant checks.
Returns the number of current logical lines in O(1).
Creates an identity rope for the current logical-line count.
Starts a new content epoch, intentionally permitting source-id reuse.
Returns the number of contiguous source-id runs for invariant checks.
Returns the durable source id at a zero-based logical-line rank.
Materializes source ids in rank order for diagnostics and tests.
Types
@type source_id() :: non_neg_integer()
@opaque t()
@type transition() :: {:ok, t()} | :reset_required
Functions
@spec apply_edit(t(), Minga.Buffer.EditDelta.t()) :: transition()
Applies one document edit to the durable identity rope.
@spec apply_edits(t(), [Minga.Buffer.EditDelta.t()]) :: transition()
Applies edits in order, stopping transactionally when reconciliation fails.
@spec content_epoch(t()) :: non_neg_integer()
Returns the content epoch owning this identity rope.
@spec height(t()) :: non_neg_integer()
Returns the cached AVL height for invariant checks.
@spec line_count(t()) :: non_neg_integer()
Returns the number of current logical lines in O(1).
@spec new(non_neg_integer(), non_neg_integer()) :: t()
Creates an identity rope for the current logical-line count.
@spec reset(t() | nil, non_neg_integer(), non_neg_integer()) :: t()
Starts a new content epoch, intentionally permitting source-id reuse.
@spec run_count(t()) :: non_neg_integer()
Returns the number of contiguous source-id runs for invariant checks.
@spec source_id(t(), non_neg_integer()) :: {:ok, source_id()} | :error
Returns the durable source id at a zero-based logical-line rank.
Materializes source ids in rank order for diagnostics and tests.