Struct ConstEvaluator 

pub struct ConstEvaluator { /* private fields */ }

Const evaluator for metadata() handlers.

Implementations

impl ConstEvaluator

pub fn new() -> Self

Create a new const evaluator with no parameters.

pub fn with_params(params: HashMap<String, KindedSlot>) -> Self

Create a const evaluator with annotation parameters.

pub fn add_param(&mut self, name: String, value: KindedSlot)

Add an annotation parameter to the scope.

pub fn add_param_nb(&mut self, name: String, value: KindedSlot)

Add an annotation parameter to the scope (alias kept for API compatibility — both forms now take a KindedSlot).

pub fn eval(&self, _expr: &Expr) -> Result<KindedSlot>

Evaluate an expression as a const value.

Phase 1.B: the kind-threaded const evaluator is deferred to Phase 2c. Until then, eval returns a deferred error rather than silently produce wrong values.

pub fn eval_as_nb(&self, expr: &Expr) -> Result<KindedSlot>

Evaluate an expression as a const KindedSlot (alias kept for API compatibility with the deleted eval_nb shape).

Trait Implementations

impl Clone for ConstEvaluator

fn clone(&self) -> ConstEvaluator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstEvaluator

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

Formats the value using the given formatter.

impl Default for ConstEvaluator

fn default() -> ConstEvaluator

Returns the “default value” for a type.