Trait radn::func::local::LocalFunctor

pub trait LocalFunctor<'a>: WeakFunctor<'a> {
    // Required method
    fn stuff<A: 'a + Send, T: Pure<'a>>(
        fa: Self::F<T::F<A>>
    ) -> T::F<Self::F<A>>;

    // Provided method
    fn unstuff<A: 'a + Send, B: 'a + Send>(
        state: Self::F<ControlFlow<B, A>>
    ) -> ControlFlow<Self::F<B>, A> { ... }
}

Represents wrapped results which are instantly available.

Required Methods

fn stuff<A: 'a + Send, T: Pure<'a>>(fa: Self::F<T::F<A>>) -> T::F<Self::F<A>>

Stuff wrapped result into another functor.

Provided Methods

fn unstuff<A: 'a + Send, B: 'a + Send>( state: Self::F<ControlFlow<B, A>> ) -> ControlFlow<Self::F<B>, A>

Extract iteration state, if successful.

Implementors

impl<'a> LocalFunctor<'a> for OptionInstance

impl<'a> LocalFunctor<'a> for SoloInstance

impl<'a, E: 'a + Send> LocalFunctor<'a> for EffectInstance<E>

impl<'a, E: 'a + Send> LocalFunctor<'a> for ResultInstance<E>

impl<'a, U: LocalFunctor<'a> + Functor<'a>, V: LocalFunctor<'a>> LocalFunctor<'a> for CompositionInstance<U, V>