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,
             Apply<Self, (F,)>: 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, Apply<Self, (F,)>: Clone,

forall 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§