Trait ferrite_session::internal::functional::IntersectSum [−][src]
pub trait IntersectSum: RowCon { fn intersect_sum<F1, F2>(
row1: AppSum<Self, F1>,
row2: AppSum<Self, F2>
) -> Option<AppSum<Self, Merge<F1, F2>>>
where
F1: TyCon,
F2: TyCon; }
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]
impl IntersectSum for ()
[src]impl<A, R> IntersectSum for (A, R) where
A: Send + 'static,
R: IntersectSum,
[src]
impl<A, R> IntersectSum for (A, R) where
A: Send + 'static,
R: IntersectSum,
[src]