Trait ferrite_session::internal::functional::NaturalTransformation [−][src]
pub trait NaturalTransformation<F1, F2> where
F1: TyCon,
F2: TyCon, { fn lift<A>(&self, fa: App<F1, A>) -> App<F2, A>
where
A: Send + 'static; }