fp_library::typeclasses::sequence

Trait Sequence

Source 
pub trait Sequence {
    // Required method
    fn sequence<F, A, B>(
        ff: &Apply<Self, F>,
    ) -> impl Fn(&Apply<Self, A>) -> Apply<Self, B>
       where Self: Kind<F> + Kind<A> + Kind<B>,
             F: Fn(&A) -> B,
             A: Clone;
}

Required Methods§

Source

fn sequence<F, A, B>( ff: &Apply<Self, F>, ) -> impl Fn(&Apply<Self, A>) -> Apply<Self, B>
where Self: Kind<F> + Kind<A> + Kind<B>, F: Fn(&A) -> B, A: Clone,

forall f a b. Sequence f => f (a -> b) -> f a -> f b

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§