Struct evaltrees::eval::LazyEvaluation

pub struct LazyEvaluation { /* fields omitted */ }

Lazy evaluation.

Methods

impl LazyEvaluation

pub fn new(decls: Vec<Decl<()>>) -> LazyEvaluation

Creates a lazy-evalauation interpreter from a list of declarations. The nameless declaration will be the expression.

Trait Implementations

impl Debug for LazyEvaluation

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

Formats the value using the given formatter.

impl Display for LazyEvaluation

fn fmt(&self, fmt: &mut Formatter) -> FmtResult

Formats the value using the given formatter.

impl Evaluator for LazyEvaluation

fn normal_form(&self) -> bool

Determines whether the primary expression is currently in a normal form, i.e. one that cannot be further reduced.

fn set_print_style(&mut self, print_style: PrintStyle)

Sets the print style.

fn step(&mut self) -> Result<(), Error>

Performs a single reduction step.