Enum WireModifier 

pub enum WireModifier {
    Const,
    Shared,
    Volatile,
}

One wire-coloring keyword. The single enum that names every modifier the grammar recognises before a binding name. Future modifiers are new variants here.

Each variant maps to a token the lexer emits and a parser branch in parse_modified_binding. A binding can carry zero or more of these, stored as a BindingModifier set.

Variants

Const

const — effectively-const for the scope’s lifetime. Materialized at the earliest opportunity: compile-time const-fold when the RHS is fold-eligible, otherwise the scope-init pull pass after materialize-wiring has populated extern slots. The runtime contract is “fixed once per scope activation, then immutable for the rest of the scope’s lifetime.” Replaces the former final / init distinction — the two were redundant axes of the same lifecycle, and the surface now collapses to one keyword whose materialization timing is an internal optimization.

Shared

shared — mutable cell visible across kernel instances. The runtime propagates iteration N’s end state into iteration N+1’s start state.

Volatile

volatile — wire’s value is excluded from hash_const (the const-folded identity hash). Authors mark wires whose value should NOT contribute to resume-identity even when the source’s structural detection would otherwise allow folding. See SRD-44 + design memo resumable_test_fixture.md.

Trait Implementations

impl Clone for WireModifier

fn clone(&self) -> WireModifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for WireModifier

impl Debug for WireModifier

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

Formats the value using the given formatter.

impl Eq for WireModifier

impl Hash for WireModifier

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 PartialEq for WireModifier

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WireModifier