Trait Apply 

pub trait Apply<'a, A>: Functor<'a, A> {
    type Target<T>
       where T: 'a,
             A: 'a;

    // Required method
    fn apply<B>(
        self,
        f: <Self as Apply<'a, A>>::Target<ApplyFn<'a, A, B>>,
    ) -> <Self as Apply<'a, A>>::Target<B>
       where B: 'a;
}

Apply takes an F<Fn(A) -> B> (or, rather, an F<ApplyFn<'a,A, B>> specifically) and applies it to an F<A> to produce an F<B>.

Required Associated Types

type Target<T> where T: 'a, A: 'a

Required Methods

fn apply<B>( self, f: <Self as Apply<'a, A>>::Target<ApplyFn<'a, A, B>>, ) -> <Self as Apply<'a, A>>::Target<B>

where B: 'a,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a, A> Apply<'a, A> for Option<A>

where A: 'a,

type Target<T> = Option<T> where T: 'a

fn apply<B>( self, f: <Self as Apply<'a, A>>::Target<ApplyFn<'a, A, B>>, ) -> <Self as Apply<'a, A>>::Target<B>

where B: 'a,

impl<'a, A> Apply<'a, A> for Vec<A>

where A: 'a, Vec<A>: Clone,

Available on crate feature std only.

type Target<T> = Vec<T> where T: 'a

fn apply<B>( self, f: <Self as Apply<'a, A>>::Target<ApplyFn<'a, A, B>>, ) -> <Self as Apply<'a, A>>::Target<B>

where B: 'a,

impl<'a, A, E> Apply<'a, A> for Result<A, E>

where A: 'a,

type Target<T> = Result<T, E> where T: 'a

fn apply<B>( self, f: <Self as Apply<'a, A>>::Target<ApplyFn<'a, A, B>>, ) -> <Self as Apply<'a, A>>::Target<B>

where B: 'a,

Implementors

impl<'a, A> Apply<'a, A> for Effect<'a, A>

where A: 'a,

type Target<T> = Effect<'a, T> where T: 'a

impl<'a, A: 'a, E: 'a> Apply<'a, A> for IO<'a, A, E>

type Target<T> = IO<'a, T, E> where T: 'a