Enum tailcall::trampoline::Next[−][src]

pub enum Next<Input, Output> {
    Recurse(Input),
    Finish(Output),
}

This is the output of the step function. It indicates to run what should happen next.

Variants

Recurse(Input)

This variant indicates that the step function should be run again with the provided input.

Finish(Output)

This variant indicates that there are no more steps to be taken and the provided output should be returned.

Trait Implementations

impl<Input: Debug, Output: Debug> Debug for Next<Input, Output>[src]

Auto Trait Implementations

impl<Input, Output> RefUnwindSafe for Next<Input, Output> where
    Input: RefUnwindSafe,
    Output: RefUnwindSafe, 

impl<Input, Output> Send for Next<Input, Output> where
    Input: Send,
    Output: Send, 

impl<Input, Output> Sync for Next<Input, Output> where
    Input: Sync,
    Output: Sync, 

impl<Input, Output> Unpin for Next<Input, Output> where
    Input: Unpin,
    Output: Unpin, 

impl<Input, Output> UnwindSafe for Next<Input, Output> where
    Input: UnwindSafe,
    Output: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.