Struct mz_compute_client::plan::interpret::FoldMut

pub struct FoldMut<I, T, Action>where
    I: Interpreter<T>,{
    interpret: I,
    action: Action,
    ctx: Context<I::Domain>,
}

A wrapper for a recursive fold invocation over a Plan that can mutate its input.

Fields

interpret: I

action: Action

ctx: Context<I::Domain>

Implementations

impl<I, T, A> FoldMut<I, T, A>where I: Interpreter<T>, I::Domain: BoundedLattice + Clone, A: FnMut(&mut Plan<T>, &I::Domain, &[I::Domain]),

pub fn new(interpreter: I, action: A) -> Self

pub fn apply( &mut self, expr: &mut Plan<T> ) -> Result<I::Domain, RecursionLimitError>

An immutable fold (structural recursion) over a Plan instance.

Runs an abstract interpreter over the given expr in a bottom-up manner, keeping the ctx field of the enclosing field up to date, and returns the final result for the entire expr.

At each step, the current expr is passed along with the interpretation result of itself and its children to an action callback that can optionally mutate it.

fn apply_rec( &mut self, expr: &mut Plan<T>, rg: &RecursionGuard ) -> Result<I::Domain, RecursionLimitError>