Struct ExprTreeRefPolicy 

pub struct ExprTreeRefPolicy<P> { /* private fields */ }

Implementations

impl<P> ExprTreeRefPolicy<P>

pub fn new(inner: P) -> Self

pub fn inner(&self) -> &P

Trait Implementations

impl<P: EvalPolicy> EvalPolicy for ExprTreeRefPolicy<P>

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.