Struct ConstInit 

pub struct ConstInit {
    pub name: String,
    pub slot: String,
    pub source: String,
    pub fallback: Option<String>,
    pub register: bool,
    /* private fields */
}

How one const binding is initialized.

When a kernel is initialized, source (the const’s own expression, compiled as the output __init_<name>) is evaluated once and its value written into slot (__const_<name>), which everything that reads the const reads. A None value falls back to the fallback input, the value a binder copied from the enclosing scope, so a const that yields nothing leaves the outer binding visible. Nothing re-evaluates the const afterwards; Kernel::init does it again.

The assembler writes these records when it resolves a graph, for every const whose value is not known at build, and resolves each name to its index then, so initialization looks nothing up.

Fields

name: String

The const’s name, and the output that reads it.

slot: String

The input slot holding the captured value.

source: String

The output computing the const’s expression.

fallback: Option<String>

The input holding the enclosing scope’s value, when the const’s expression references names.

register: bool

Whether this is the computed starting value of a shared register rather than a const: slot is the register’s own input, and initialization writes it only while nothing has written the register, so a scope attached to a register another scope declared never seeds it again.

Trait Implementations

impl Clone for ConstInit

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstInit

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

Formats the value using the given formatter.

impl Eq for ConstInit

impl PartialEq for ConstInit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ConstInit