Trait identity::lift::TyFun

pub trait TyFun<Param: ?Sized>: Sized {
    type Result: ?Sized;
}

Associated Types

type Result: ?Sized

Implementors

• impl<'x, Param: ?Sized, F: TyFun<Param>> TyFun<Param> for &'x F
• impl<'x, Param: ?Sized, F: TyFun<Param>> TyFun<Param> for &'x mut F
• impl<Param: ?Sized, F: TyFun<Param>> TyFun<Param> for Box<F>
• impl<'param, F: LiFun<'param>> TyFun<LiToTy<'param>> for LiFunToTyFun<F>
• impl<Param: ?Sized, TFa, TFb> TyFun<Param> for Compose<TFa, TFb> where TFb: TyFun<Param>, TFa: TyFun<TFb::Result>
• impl<Param: ?Sized> TyFun<Param> for Id
• impl<Param: ?Sized, X: ?Sized> TyFun<Param> for Const<X>
• impl<X: ?Sized> TyFun<X> for ConstTyFun
• impl<Param: ?Sized, F, G> TyFun<Param> for Ap<F, G> where F: TyFun<Param>, G: TyFun<Param>, F::Result: TyFun<G::Result>
• impl<F> TyFun<F> for ApTyFun0
• impl<F, G> TyFun<G> for ApTyFun1<F>
• impl<ParamB: ?Sized, F> TyFun<ParamB> for Flip<F>
• impl<ParamA: ?Sized, ParamB: ?Sized, F: TyFun<ParamA>> TyFun<ParamA> for Flipped<F, ParamB> where F::Result: TyFun<ParamB>
• impl<F> TyFun<F> for FlipTyFun
• impl<Params: TyList, F: TysFun<Params>> TyFun<Params> for Uncurry<F>
• impl<C: ?Sized> TyFun<C> for MLReflCase