Trait radn::func::shared::SharedFunctor

pub trait SharedFunctor<'a>: WeakFunctor<'a> {
    type Shared<A: 'a + Send + Sync + Clone>: 'a + Send + Sync + Clone;

    // Required methods
    fn share<A: 'a + Send + Sync + Clone>(fa: Self::F<A>) -> Self::Shared<A>;
    fn unshare<A: 'a + Send + Sync + Clone>(sa: Self::Shared<A>) -> Self::F<A>;
}

Required Associated Types

type Shared<A: 'a + Send + Sync + Clone>: 'a + Send + Sync + Clone

Required Methods

fn share<A: 'a + Send + Sync + Clone>(fa: Self::F<A>) -> Self::Shared<A>

fn unshare<A: 'a + Send + Sync + Clone>(sa: Self::Shared<A>) -> Self::F<A>

Implementors

impl<'a> SharedFunctor<'a> for FutureInstance

type Shared<A: 'a + Send + Sync + Clone> = Shared<Pin<Box<dyn Future<Output = A> + Send + 'a, Global>>>

impl<'a, E: 'a + Send + Sync + Clone> SharedFunctor<'a> for TryFutureInstance<E>

type Shared<A: 'a + Send + Sync + Clone> = Shared<Pin<Box<dyn Future<Output = Result<A, E>> + Send + 'a, Global>>>

impl<'a, T: 'a + SharedFunctorAny> SharedFunctor<'a> for T

type Shared<A: 'a + Send + Sync + Clone> = <T as SharedFunctorAny>::SharedAny<'a, A>

impl<'a, T: SharedFunctor<'a>, O: 'a + DeriveWeakFunctor> SharedFunctor<'a> for OverloadInstance<T, O>

type Shared<A: 'a + Send + Sync + Clone> = <T as SharedFunctor<'a>>::Shared<A>

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

type Shared<A: 'a + Send + Sync + Clone> = <U as SharedFunctor<'a>>::Shared<<V as SharedFunctor<'a>>::Shared<A>>