Trait higher::Apply

pub trait Apply<'a, A>: Functor<'a, A> {
    type Target<T>
    where
        T: 'a,
        A: '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;
}

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,

Implementations on Foreign Types

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

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

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>
where
    T: 'a = Result<T, E>

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,

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

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>
where
    T: 'a = Effect<'a, T>

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

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