Trait ferrite_session::prelude::SumFunctor [−][src]
pub trait SumFunctor: RowCon { fn lift_sum<T, F1, F2>(lift: &T, sum: AppSum<Self, F1>) -> AppSum<Self, F2>
where
F1: TyCon,
F2: TyCon,
T: NaturalTransformation<F1, F2>; }
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]
impl SumFunctor for ()
[src]impl<A, R> SumFunctor for (A, R) where
A: Send + 'static,
R: SumFunctor,
[src]
impl<A, R> SumFunctor for (A, R) where
A: Send + 'static,
R: SumFunctor,
[src]