[−][src]Trait higher_cat::Ap
Ap
provides an implementation for Apply::apply
using only Bind
and
Pure
.
Required methods
Loading content...Implementors
impl<M, A, F, B> Ap<A, F, B> for M where
M: Lift3<A, F, B> + Bind<A, B>,
A: Clone,
<M as Lift3<A, F, B>>::Target2: Bind<F, B> + Clone,
<<M as Lift3<A, F, B>>::Target2 as Lift<F, B>>::Target1: Pure<B>,
F: Fn(A) -> B,
[src]
M: Lift3<A, F, B> + Bind<A, B>,
A: Clone,
<M as Lift3<A, F, B>>::Target2: Bind<F, B> + Clone,
<<M as Lift3<A, F, B>>::Target2 as Lift<F, B>>::Target1: Pure<B>,
F: Fn(A) -> B,