Trait rats::kind::Reify

pub trait Reify<F_: HKT, A, B = Empty> {
    type Out;
    fn reify(self) -> Self::Out;
}

Associated Types

type Out

Required Methods

fn reify(self) -> Self::Out

Implementors

• impl<'f_, A> Reify<VecKind, A> for Kind<'f_, VecKind, A> type Out = Vec<A>;

• impl<'f_, A> Reify<OptionKind, A> for Kind<'f_, OptionKind, A> type Out = Option<A>;

• impl<'f_, A> Reify<IdKind, A> for Kind<'f_, IdKind, A> type Out = Id<A>;

• impl<'f_, A, B> Reify<ResultKind, A, B> for Kind<'f_, ResultKind, A, B> type Out = Result<A, B>;

• impl<'f_, A: 'f_, B: 'f_> Reify<FutureKind, A, B> for Kind<'f_, FutureKind, A, B> type Out = Box<Future<Item = A, Error = B> + 'f_>;