Trait radn::func::Applicative

source · 
pub trait Applicative<'a>: Pure<'a> + ApplicativeSeq<'a> + ApplicativeLA2<'a> + ApplicativeTuple<'a> + ApplicativeSelect<'a> {
    // Provided methods
    fn discard_first<A: 'a + Send, B: 'a + Send>(
        fa: Self::F<A>,
        fb: Self::F<B>
    ) -> Self::F<B> { ... }
    fn discard_second<A: 'a + Send, B: 'a + Send>(
        fa: Self::F<A>,
        fb: Self::F<B>
    ) -> Self::F<A> { ... }
}
Expand description

Equivalent of Haskell’s Applicative. Split into Pure, ApplicativeSeq, ApplicativeLA2 and ApplicativeTuple due to Rust limitations.

https://hackage.haskell.org/package/base-4.18.0.0/docs/Control-Applicative.html

Provided Methods§

source

fn discard_first<A: 'a + Send, B: 'a + Send>( fa: Self::F<A>, fb: Self::F<B> ) -> Self::F<B>

Equivalent of Haskell’s *>/>>.

source

fn discard_second<A: 'a + Send, B: 'a + Send>( fa: Self::F<A>, fb: Self::F<B> ) -> Self::F<A>

Equivalent of Haskell’s <*.

Implementors§