Trait ferrite_session::internal::functional::public::InjectLift

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

type SourceF: TyCon

type TargetF: TyCon

type InjectF: TyCon

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, 

Implementors