Trait ferrite_session::prelude::IntersectSum [−][src]
Required methods
fn intersect_sum<F1, F2>(
row1: AppSum<Self, F1>,
row2: AppSum<Self, F2>
) -> Option<AppSum<Self, Merge<F1, F2>>> where
F1: TyCon,
F2: TyCon,
[src]
row1: AppSum<Self, F1>,
row2: AppSum<Self, F2>
) -> Option<AppSum<Self, Merge<F1, F2>>> where
F1: TyCon,
F2: TyCon,
Implementations on Foreign Types
impl IntersectSum for ()
[src]
fn intersect_sum<F1, F2>(
row1: AppSum<(), F1>,
_row2: AppSum<(), F2>
) -> Option<AppSum<(), Merge<F1, F2>>> where
F1: TyCon,
F2: TyCon,
[src]
row1: AppSum<(), F1>,
_row2: AppSum<(), F2>
) -> Option<AppSum<(), Merge<F1, F2>>> where
F1: TyCon,
F2: TyCon,
impl<A, R> IntersectSum for (A, R) where
A: Send + 'static,
R: IntersectSum,
[src]
A: Send + 'static,
R: IntersectSum,
fn intersect_sum<F1, F2>(
row1: AppSum<Self, F1>,
row2: AppSum<Self, F2>
) -> Option<AppSum<Self, Merge<F1, F2>>> where
F1: TyCon,
F2: TyCon,
[src]
row1: AppSum<Self, F1>,
row2: AppSum<Self, F2>
) -> Option<AppSum<Self, Merge<F1, F2>>> where
F1: TyCon,
F2: TyCon,