Trait rats::functor::KindFunctorExt

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

Associated Types

type A

type Z = Z

Required Methods

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

Implementors

• impl<'f_, F_, A, Z> KindFunctorExt<'f_, F_, Z> for Kind<'f_, F_, A, Z> where     F_: Functor<F_, Z>,  type A = A; type Z = Z;