Enum IgnoredDefault 

pub enum IgnoredDefault {
    Const(Value),
    CopyField {
        name: String,
        index: usize,
    },
    Native(Closure),
}

The default of an ignored field — how the field is refilled wherever a value is materialized without it (design §3.7).

Const and CopyField are the serializable vocabulary of the descriptor JSON (fixtures are data, not code — impl plan §4 step 6); Native is an arbitrary thunk supplied by the embedder, which is what a Soil-level default expression eventually compiles to and is not serializable.

Variants

Const(Value)

A constant of the field’s own (scalar) shape.

CopyField

Copy another (non-ignored, same-shaped) field’s value.

Fields

name: String

index: usize

Index into the thunk-argument list — the record’s non-ignored fields in declaration order (micro-pin §8.6). Resolved at registration.

Native(Closure)

Implementations

impl IgnoredDefault

pub fn call(&self, args: &[Value]) -> Result<Value, SoilError>

args are the record’s non-ignored field values in declaration order (micro-pin §8.6).

Trait Implementations

impl Debug for IgnoredDefault

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

Formats the value using the given formatter.