Trait ferrite_session::internal::public::functional::row::SumFunctorInject [−][src]
pub trait SumFunctorInject: RowCon { fn lift_sum_inject<L, Root, Inject>(
ctx: L,
inject: Inject,
sum: AppSum<Self, L::SourceF>
) -> AppSum<Self, L::InjectF>
where
L: InjectLift<Root>,
Inject: Fn(AppSum<Self, L::TargetF>) -> Root + Send + 'static; }
Required methods
fn lift_sum_inject<L, Root, Inject>(
ctx: L,
inject: Inject,
sum: AppSum<Self, L::SourceF>
) -> AppSum<Self, L::InjectF> where
L: InjectLift<Root>,
Inject: Fn(AppSum<Self, L::TargetF>) -> Root + Send + 'static,
[src]
ctx: L,
inject: Inject,
sum: AppSum<Self, L::SourceF>
) -> AppSum<Self, L::InjectF> where
L: InjectLift<Root>,
Inject: Fn(AppSum<Self, L::TargetF>) -> Root + Send + 'static,
Implementations on Foreign Types
impl SumFunctorInject for ()
[src]
impl SumFunctorInject for ()
[src]impl<A, R> SumFunctorInject for (A, R) where
A: Send + 'static,
R: SumFunctorInject,
[src]
impl<A, R> SumFunctorInject for (A, R) where
A: Send + 'static,
R: SumFunctorInject,
[src]