Enum Compute 

pub enum Compute {
    Check {
        raw: Value,
        types: Vec<RT>,
        name: String,
        root_name: String,
        menv: Option<Rc<Env>>,
    },
    Default {
        expr: Rc<Expr>,
        types: Vec<RT>,
        name: String,
        root_name: String,
        menv: Option<Rc<Env>>,
    },
    Derived {
        expr: Rc<Expr>,
        ty: Option<RT>,
        supplied: Option<Value>,
        name: String,
        root_name: String,
        menv: Option<Rc<Env>>,
    },
}

how a slot computes its value

Variants

Check

a supplied value checked against the types

Fields

raw: Value

the value supplied

types: Vec<RT>

the types to check against

name: String

the member

root_name: String

the root

menv: Option<Rc<Env>>

the module environment

Default

a default expression

Fields

expr: Rc<Expr>

the expression

types: Vec<RT>

the types to check against

name: String

the member

root_name: String

the root

menv: Option<Rc<Env>>

the module environment

Derived

a derived expression

Fields

expr: Rc<Expr>

the expression

ty: Option<RT>

the declared type

supplied: Option<Value>

the value the document supplied, to compare (§10.5)

name: String

the member

root_name: String

the root

menv: Option<Rc<Env>>

the module environment

Trait Implementations

impl Clone for Compute

fn clone(&self) -> Compute

Returns a duplicate of the value.

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

Performs copy-assignment from source.