Trait radn::func::ApplicativeSeq

pub trait ApplicativeSeq<'a>: Functor<'a> {
    // Required method
    fn seq<A: 'a + Send, B: 'a + Send>(
        ff: Self::F<impl 'a + Send + FnOnce(A) -> B>,
        fa: Self::F<A>
    ) -> Self::F<B>;
}

Part of Applicative responsible for Haskell’s sequential application <*>.

Required Methods

fn seq<A: 'a + Send, B: 'a + Send>( ff: Self::F<impl 'a + Send + FnOnce(A) -> B>, fa: Self::F<A> ) -> Self::F<B>

Equivalent of Haskell’s <*>.

Implementors

impl<'a> ApplicativeSeq<'a> for FutureInstance

impl<'a> ApplicativeSeq<'a> for LazyInstance

impl<'a> ApplicativeSeq<'a> for OptionInstance

impl<'a> ApplicativeSeq<'a> for SoloInstance

impl<'a> ApplicativeSeq<'a> for StacklessInstance

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

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

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

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

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

Note: depends on the outer instance being ApplicativeLA2 not ApplicativeSeq.