Trait ferrite_session::SumFunctorInject

pub trait SumFunctorInject: RowCon {
    fn lift_sum_inject<L, Root, Inject>(
        ctx: L, 
        inject: Inject, 
        sum: AppliedSum<Self, L::SourceF>
    ) -> AppliedSum<Self, L::InjectF>
    where
        L: InjectLift<Root>,
        Inject: Fn(AppliedSum<Self, L::TargetF>) -> Root + Send + 'static;
}

Required methods

fn lift_sum_inject<L, Root, Inject>(
    ctx: L,
    inject: Inject,
    sum: AppliedSum<Self, L::SourceF>
) -> AppliedSum<Self, L::InjectF> where
    L: InjectLift<Root>,
    Inject: Fn(AppliedSum<Self, L::TargetF>) -> Root + Send + 'static, 

Loading content...

Implementations on Foreign Types

impl SumFunctorInject for ()

fn lift_sum_inject<L, Root, Inject>(
    _ctx: L,
    _inject: Inject,
    sum: AppliedSum<Self, L::SourceF>
) -> AppliedSum<Self, L::InjectF> where
    L: InjectLift<Root>,
    Inject: Fn(AppliedSum<Self, L::TargetF>) -> Root + Send + 'static, 

impl<A, R> SumFunctorInject for (A, R) where
    A: Send + 'static,
    R: SumFunctorInject, 

fn lift_sum_inject<L, Root, Inject>(
    ctx: L,
    inject: Inject,
    row1: AppliedSum<Self, L::SourceF>
) -> AppliedSum<Self, L::InjectF> where
    L: InjectLift<Root>,
    Inject: Fn(AppliedSum<Self, L::TargetF>) -> Root + Send + 'static, 

Loading content...

Implementors

Loading content...