Struct BlockId 

pub struct BlockId(pub u64);

Opaque identifier grouping a run of adjacent content lines.

docs/prose-dialect-spec.md §3.7/§8d.2 (RULED): “block id is universal” — every run of same-element adjacent content lines carries one; hosts aggregate consecutive OutputLines sharing a BlockId or ignore it entirely. Two OutputLines carry the same id iff they belong to the same uninterrupted run — a terminal (Step::Choices/Step::Done/ Step::End) or a host-directed jump always starts a new one.

Compile-time-baked block ids (per §3.6’s attachment mechanism) are a superset of this. Issue #2108 (docs/decision-log.md 2026-08-03 “The element output model”) delivers the first real instance: an attach = StructName convention handler’s data is merged into the VM’s output buffer (brink_runtime::vm’s Opcode::AttachElement/ Opcode::EndElementRun) and every line materialized while it’s live gets a copy in Element::data — but BlockId itself is not re-derived from that mechanism; it stays the plain terminator-counting value it always was (this field’s own next_block_id doc, brink_runtime::story:: call_stack::Flow). A run of adjacent lines sharing one attach group can therefore span more than one BlockId if it also crosses a real terminator — the two concepts have not been unified.

Tuple Fields

0: u64

Trait Implementations

impl Clone for BlockId

fn clone(&self) -> BlockId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for BlockId

impl Debug for BlockId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for BlockId

impl Hash for BlockId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for BlockId

fn cmp(&self, other: &BlockId) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for BlockId

fn eq(&self, other: &BlockId) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for BlockId

fn partial_cmp(&self, other: &BlockId) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for BlockId