Trait ferrite_session::row::SplitRow

pub trait SplitRow: Sized + RowCon {
    fn split_row<F1, F2>(
        row: AppliedSum<Self, Merge<F1, F2>>
    ) -> (AppliedSum<Self, F1>, AppliedSum<Self, F2>)
    where
        F1: TyCon,
        F2: TyCon;
}

Required methods

fn split_row<F1, F2>(
    row: AppliedSum<Self, Merge<F1, F2>>
) -> (AppliedSum<Self, F1>, AppliedSum<Self, F2>) where
    F1: TyCon,
    F2: TyCon, 

Loading content...

Implementations on Foreign Types

impl SplitRow for ()

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

impl<A, R> SplitRow for (A, R) where
    A: Send + 'static,
    R: SplitRow, 

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

Loading content...

Implementors

Loading content...