Trait ferrite_session::internal::public::functional::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

type SourceF: TyCon[src]

type TargetF: TyCon[src]

type InjectF: TyCon[src]

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]

Loading content...

Implementors

Loading content...