Trait ferrite_session::prelude::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; }