Trait FunctionK

pub trait FunctionK<F_: HKT, G_: HKT, Z = Empty>: HKT {
    type ZOut;

    // Required method
    fn map_kind<A>(fa: Kind<'_, F_, A, Z>) -> Kind<'_, G_, A, Self::ZOut>;
}

Required Associated Types

type ZOut

Required Methods

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

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl FunctionK<OptionKind, VecKind> for OptionKind

type ZOut = Empty

impl<Z> FunctionK<ResultKind, OptionKind, Z> for ResultKind

type ZOut = Empty