Function ferrite_session::internal::public::functional::lift_sum_inject [−][src]
pub fn lift_sum_inject<Lift, Row, TargetF>(
lift: Lift,
row: AppSum<Row, Lift::SourceF>
) -> AppSum<Row, Lift::InjectF> where
TargetF: TyCon,
Row: SumFunctorInject,
Lift: InjectLift<AppSum<Row, TargetF>, TargetF = TargetF>,