Trait rats::functor::Functor

pub trait Functor<F_: HKT, Z = Empty>: HKT {
    fn map<'f_, Fn_, A, B>(
        a: Kind<'f_, F_, A, Z>, 
        f: Fn_
    ) -> Kind<'f_, F_, B, Z>
    where
        Fn_: Fn(A) -> B + 'f_;
}

Required Methods

fn map<'f_, Fn_, A, B>(a: Kind<'f_, F_, A, Z>, f: Fn_) -> Kind<'f_, F_, B, Z> where
    Fn_: Fn(A) -> B + 'f_, 

(F<(A,)>, Fn(A) -> B) -> F<B,>

Implementors

• impl<Z> Functor<FutureKind, Z> for FutureKind

• impl Functor<IdKind> for IdKind

• impl Functor<OptionKind> for OptionKind

• impl<Z> Functor<ResultKind, Z> for ResultKind

• impl Functor<VecKind> for VecKind