Struct Single

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

Etable with only one function.

Implementations

impl<S, H, Tr, F> Single<S, H, Tr, F>

pub fn new(single: F) -> Self

Create a new single Etable.

Trait Implementations

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

type Target = F

The resulting type after dereferencing.

fn deref(&self) -> &F

Dereferences the value.

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

fn deref_mut(&mut self) -> &mut F

Mutably dereferences the value.

impl<S, H, Tr, F> Etable<H> for Single<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<Single<S, H, Tr, F>> for DispatchEtable<S, H, Tr, F>

where F: Copy,

fn from(single: Single<S, H, Tr, F>) -> Self

Converts to this type from the input type.

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

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