Trait ferrite_session::prelude::SumFunctor [−][src]
Required methods
fn lift_sum<T, F1, F2>(lift: &T, sum: AppSum<Self, F1>) -> AppSum<Self, F2> where
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>,
[src]
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>,
Implementations on Foreign Types
impl SumFunctor for ()
[src]
fn lift_sum<T, F1, F2>(_lift: &T, row1: AppSum<Self, F1>) -> AppSum<Self, F2> where
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>,
[src]
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>,
impl<A, R> SumFunctor for (A, R) where
A: Send + 'static,
R: SumFunctor,
[src]
A: Send + 'static,
R: SumFunctor,
fn lift_sum<T, F1, F2>(lift: &T, row1: AppSum<Self, F1>) -> AppSum<Self, F2> where
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>,
[src]
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>,