Trait identity::lift::LiFun

pub trait LiFun<'param>: Sized {
    type Result: ?Sized;
}

Associated Types

type Result: ?Sized

Implementors

• impl<'x, 'param, F: LiFun<'param>> LiFun<'param> for &'x F
• impl<'x, 'param, F: LiFun<'param>> LiFun<'param> for &'x mut F
• impl<'param, F: LiFun<'param>> LiFun<'param> for Box<F>
• impl<'param, F: TyFun<LiToTy<'param>>> LiFun<'param> for TyFunToLiFun<F>
• impl<'param, TFa, TFb> LiFun<'param> for Compose<TFa, TFb> where TFa: LiFun<'param>, TFb: TyFun<TFa::Result>
• impl<'param, X: ?Sized> LiFun<'param> for Const<X>
• impl<'param, F, G> LiFun<'param> for Ap<F, G> where F: LiFun<'param>, G: LiFun<'param>, F::Result: TyFun<G::Result>