Trait radn::func::controlflow::Iterative

pub trait Iterative<'a>: 'a + Send + Sized {
    type B: 'a + Send;
    type T: ?Sized + WeakFunctor<'a>;

    // Required method
    fn next(self) -> IterativeWrapped<'a, Self>;
}

Value passed to Monad::iterate.

Required Associated Types

type B: 'a + Send

ControlFlow::Break.

type T: ?Sized + WeakFunctor<'a>

Corresponding WeakFunctor.

Required Methods

fn next(self) -> IterativeWrapped<'a, Self>

Get next state.

Implementors

impl<'a, T: ?Sized + Functor<'a>, A: 'a + Send, B: 'a + Send, F: 'a + Send + FnMut(A) -> T::F<ControlFlow<B, A>>> Iterative<'a> for BindableMut<T, A, B, F>

type B = B

type T = T