Trait ferrite_session::internal::functional::row::IntersectSum

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, 

Loading content...

Implementations on Foreign Types

impl IntersectSum for ()

fn intersect_sum<F1, F2>(
    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, 

fn intersect_sum<F1, F2>(
    row1: AppSum<Self, F1>,
    row2: AppSum<Self, F2>
) -> Option<AppSum<Self, Merge<F1, F2>>> where
    F1: TyCon,
    F2: TyCon, 

Loading content...

Implementors

Loading content...