Trait identity::lift::TysFun

pub trait TysFun<Params: TyList> {
    type Result: ?Sized;
}

Associated Types

type Result: ?Sized

Implementors

• impl<R: ?Sized> TysFun<Nil> for R
• impl<Param: ?Sized, Params: TyList, F: TyFun<Param>> TysFun<Cons<Param, Params>> for F where F::Result: TysFun<Params>