Struct MultiEtable

pub struct MultiEtable<S, H, Tr, F = Efn<S, H, Tr>>(/* private fields */);

Nested evaluation table.

Trait Implementations

impl<S, H, Tr, F> Deref for MultiEtable<S, H, Tr, F>

type Target = [MultiEfn<S, H, Tr, F>; 256]

The resulting type after dereferencing.

fn deref(&self) -> &[MultiEfn<S, H, Tr, F>; 256]

Dereferences the value.

impl<S, H, Tr, F> DerefMut for MultiEtable<S, H, Tr, F>

fn deref_mut(&mut self) -> &mut [MultiEfn<S, H, Tr, F>; 256]

Mutably dereferences the value.

impl<S, H, Tr, F> Etable<H> for MultiEtable<S, H, Tr, F>

where F: Fn(&mut Machine<S>, &mut H, usize) -> Control<Tr>,

type State = S

Etable state.

type Trap = Tr

Etable trap.

fn eval( &self, machine: &mut Machine<S>, handle: &mut H, position: usize, ) -> Control<Tr>

Evaluate the etable.

impl<S, H, Tr, F> From<DispatchEtable<S, H, Tr, F>> for MultiEtable<S, H, Tr, F>

fn from(etable: DispatchEtable<S, H, Tr, F>) -> Self

Converts to this type from the input type.

impl<S, H, Tr, F: Send> Send for MultiEtable<S, H, Tr, F>

impl<S, H, Tr, F: Sync> Sync for MultiEtable<S, H, Tr, F>