Trait ferrite_session::internal::functional::SumFunctor
source · [−]pub trait SumFunctor: RowCon {
fn lift_sum<'a, T: 'a, F1: 'a, F2: 'a>(
lift: T,
sum: AppSum<'a, Self, F1>
) -> AppSum<'a, Self, F2>
where
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<'a, F1, F2>,
Self: 'a;
}