Trait ferrite_session::internal::public::prelude::row::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; }
Associated Types
Loading content...Required methods
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,
[src]
self,
inject: impl Fn(App<Self::TargetF, A>) -> Root + Send + 'static,
row: App<Self::SourceF, A>
) -> App<Self::InjectF, A> where
A: Send + 'static,