Trait ferrite_session::row::IntersectSum

pub trait IntersectSum: RowCon {
    fn intersect_sum<F1, F2>(
        row1: AppliedSum<Self, F1>, 
        row2: AppliedSum<Self, F2>
    ) -> Option<AppliedSum<Self, Merge<F1, F2>>>
    where
        F1: TyCon,
        F2: TyCon;
}

Required methods

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

Loading content...

Implementations on Foreign Types

impl IntersectSum for ()

fn intersect_sum<F1, F2>(
    row1: AppliedSum<(), F1>,
    _row2: AppliedSum<(), F2>
) -> Option<AppliedSum<(), 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: AppliedSum<Self, F1>,
    row2: AppliedSum<Self, F2>
) -> Option<AppliedSum<Self, Merge<F1, F2>>> where
    F1: TyCon,
    F2: TyCon, 

Loading content...

Implementors

Loading content...