Trait ferrite_session::internal::functional::public::InjectLift [−][src]
pub trait InjectLift<Root> { type SourceF: TyCon; type TargetF: TyCon; type InjectF: TyCon; fn lift_field<A>(
self,
inject: impl Fn(App<Self::TargetF, A>) -> Root + Send + 'static,
row: App<Self::SourceF, A>
) -> App<Self::InjectF, A>
where
A: Send + 'static; }