Trait ferrite_session::functional::SumFunctorInject [−][src]
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]
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,
impl<A, R> SumFunctorInject for (A, R) where
A: Send + 'static,
R: SumFunctorInject,
[src]
A: Send + 'static,
R: SumFunctorInject,
fn lift_sum_inject<L, Root, Inject>(
ctx: L,
inject: Inject,
row1: 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,
row1: AppSum<Self, L::SourceF>
) -> AppSum<Self, L::InjectF> where
L: InjectLift<Root>,
Inject: Fn(AppSum<Self, L::TargetF>) -> Root + Send + 'static,