Enum CompiledObjEntry 

pub enum CompiledObjEntry {
    Short {
        name: Arc<str>,
        ic: Arc<AtomicU64>,
    },
    Kv {
        key: Arc<str>,
        prog: Arc<Program>,
        optional: bool,
        cond: Option<Arc<Program>>,
    },
    KvPath {
        key: Arc<str>,
        steps: Arc<[KvStep]>,
        optional: bool,
        ics: Arc<[AtomicU64]>,
    },
    Dynamic {
        key: Arc<Program>,
        val: Arc<Program>,
    },
    Spread(Arc<Program>),
    SpreadDeep(Arc<Program>),
}

A compiled object field for Opcode::MakeObj.

Variants

Short

{ name } / { name, … } shorthand — reads env.current.name (or a bound variable of that name). ic is a per-entry inline cache hint so that repeated MakeObj calls over objects that share shape skip the IndexMap key-hash on hit.

Fields

name: Arc<str>

ic: Arc<AtomicU64>

Kv

Fields

key: Arc<str>

prog: Arc<Program>

optional: bool

cond: Option<Arc<Program>>

KvPath

Specialised Kv where the value is a pure path from current: { key: @.a.b[0] } compiles to KvPath so exec_make_obj can walk env.current through the pre-resolved steps without a sub-program exec. optional=true mirrors ? in the source — the field is omitted when the walk lands on Null. ics[i] is an inline-cache slot for steps[i] — only used when the step is Field.

Fields

key: Arc<str>

steps: Arc<[KvStep]>

optional: bool

ics: Arc<[AtomicU64]>

Dynamic

Fields

key: Arc<Program>

val: Arc<Program>

Spread(Arc<Program>)

SpreadDeep(Arc<Program>)

Trait Implementations

impl Clone for CompiledObjEntry

fn clone(&self) -> CompiledObjEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompiledObjEntry

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

Formats the value using the given formatter.