Struct StrictByShapePolicy 

pub struct StrictByShapePolicy;

A policy that forces or defers each argument by its Demand.

Positions demanding a value are evaluated eagerly; positions demanding an expression (or nothing) become lazy thunks.

Trait Implementations

impl EvalPolicy for StrictByShapePolicy

fn name(&self) -> &'static str

A stable, human-readable name for this policy.

fn allow_macro_expansion(&self, phase: Phase) -> bool

Whether macro expansion is permitted in the given Phase.

fn prepare_call_args( &self, cx: &mut Cx, raw: RawArgs, demands: &[Demand], ) -> Result<PreparedArgs>

Prepares raw call arguments into PreparedArgs per the demands.

fn force(&self, cx: &mut Cx, value: Value, demand: Demand) -> Result<Value>

Forces value far enough to satisfy demand.

fn eval_expr(&self, cx: &mut Cx, expr: Expr) -> Result<Value>

Evaluates a bare expression to a value under this policy.

fn resolve_unbound_symbol(&self, cx: &mut Cx, symbol: Symbol) -> Result<Value>

Resolve a symbol that bound to nothing in value position.

fn resolve_unbound_call( &self, cx: &mut Cx, operator: Symbol, args: Vec<Expr>, ) -> Result<Value>

Resolve a call whose operator bound to nothing.