Trait rats::function_k::FunctionK

pub trait FunctionK<F_: HKT, G_: HKT, Z = Empty>: HKT {
    type ZOut;
    fn map_kind<A>(fa: Kind<F_, A, Z>) -> Kind<G_, A, Self::ZOut>;
}

Associated Types

type ZOut

Required Methods

fn map_kind<A>(fa: Kind<F_, A, Z>) -> Kind<G_, A, Self::ZOut>

F<A,> -> G<A,>

Implementors

• impl FunctionK<OptionKind, VecKind> for OptionKind type ZOut = Empty;

• impl<Z> FunctionK<ResultKind, OptionKind, Z> for ResultKind type ZOut = Empty;