[−][src]Trait ferrite_session::InjectLift

pub trait InjectLift<Root> {
    type SourceF: TyCon;
    type TargetF: TyCon;
    type InjectF: TyCon;
    fn lift_field<A>(
        self, 
        inject: impl Fn(Applied<Self::TargetF, A>) -> Root + Send + 'static, 
        row: Applied<Self::SourceF, A>
    ) -> Applied<Self::InjectF, A>
    where
        A: Send + 'static;
}

Associated Types

type SourceF: TyCon

type TargetF: TyCon

type InjectF: TyCon

Loading content...

Required methods

fn lift_field<A>(
    self,
    inject: impl Fn(Applied<Self::TargetF, A>) -> Root + Send + 'static,
    row: Applied<Self::SourceF, A>
) -> Applied<Self::InjectF, A> where
    A: Send + 'static, 

Loading content...

Implementors

Loading content...