Enum Protocol 

pub enum Protocol {
    Display,
    Compare,
    Iterate,
}

One entry of the closed protocol registry (stdlib-spec §9.6). The enum is the registry: adding an entry is a compiler change by construction.

Variants

Display

fn display(self: T): string, row ⊆ pure·silent·total. Feeds the §1.6 display boundary; F1 (ruled 2026-07-19): BOTH interpolation and the string() conversion intrinsic dispatch through this one path (brink-runtime::value_ops::stringify is the runtime seam).

Compare

fn compare(a: T, b: T): int, row ⊆ pure·silent·total. Slots user types into the §4b ordering doctrine; no structural default.

Iterate

Pull-shaped iteration: next(ref Self): Option[T], row ⊆ writes-receiver·silent·total, laws attached (“every element once; none terminal and sticky” — property-harness enforced in brink-runtime::iter).

Implementations

impl Protocol

pub const ALL: [Protocol; 3]

Every registry entry, in declaration order.

pub fn method_name(self) -> &'static str

The protocol’s reserved method name (F6): the name an impl answers to, and the name authors may not declare.

pub fn protocol_name(self) -> &'static str

Human-readable name of the protocol itself (diagnostics).

pub fn arity(self) -> usize

Declared parameter count of the protocol method.

pub fn receiver_is_ref(self) -> bool

Whether the receiver (first) parameter must be ref. Only iterate’s next mutates its receiver — that write is a ref param write, invisible to the global effect row, which is why one row bound (EffectRow::is_empty) serves all three contracts.

pub fn contract_phrase(self) -> &'static str

The contract phrase used in diagnostics.

Trait Implementations

impl Clone for Protocol

fn clone(&self) -> Protocol

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Protocol

impl Debug for Protocol

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

Formats the value using the given formatter.

impl Eq for Protocol

impl Ord for Protocol

fn cmp(&self, other: &Protocol) -> 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 Protocol

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Protocol

fn partial_cmp(&self, other: &Protocol) -> 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 Protocol