Function ferrite_session::functional::row::lift_sum [−][src]
pub fn lift_sum<Row, F1, F2, Lift>(
lift: &Lift,
sum: AppSum<Row, F1>
) -> AppSum<Row, F2> where
F1: TyCon,
F2: TyCon,
Row: SumFunctor,
Lift: NaturalTransformation<F1, F2>,