Trait radn::func::ApplicativeLA2

pub trait ApplicativeLA2<'a>: Functor<'a> {
    // Required method
    fn la2<A: 'a + Send, B: 'a + Send, C: 'a + Send>(
        fa: Self::F<A>,
        fb: Self::F<B>,
        f: impl 'a + Send + FnOnce(A, B) -> C
    ) -> Self::F<C>;
}

Part of Applicative responsible for Haskell’s result combination listA2.

Required Methods

fn la2<A: 'a + Send, B: 'a + Send, C: 'a + Send>( fa: Self::F<A>, fb: Self::F<B>, f: impl 'a + Send + FnOnce(A, B) -> C ) -> Self::F<C>

Equivalent of Haskell’s listA2.

Implementors

impl<'a> ApplicativeLA2<'a> for FutureInstance

impl<'a> ApplicativeLA2<'a> for LazyInstance

impl<'a> ApplicativeLA2<'a> for OptionInstance

impl<'a> ApplicativeLA2<'a> for SoloInstance

impl<'a> ApplicativeLA2<'a> for StacklessInstance

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

impl<'a, E: 'a + Send> ApplicativeLA2<'a> for TryFutureInstance<E>

impl<'a, E: 'a + Effect> ApplicativeLA2<'a> for EffectInstance<E>

impl<'a, T: ApplicativeLA2<'a>, O: 'a + DeriveApplicative> ApplicativeLA2<'a> for OverloadInstance<T, O>

impl<'a, U: ApplicativeLA2<'a>, V: ApplicativeLA2<'a>> ApplicativeLA2<'a> for CompositionInstance<U, V>