Trait cut::HasSumApp

pub trait HasSumApp<'a, Row, F>: Send {
    fn get_sum(
        self: Box<Self, Global>
    ) -> Box<<Row as SumApp<'a, F>>::Applied, Global>
    where
        F: TyCon,
        Row: SumApp<'a, F>;
    fn get_sum_borrow(&'b self) -> &'b <Row as SumApp<'a, F>>::Applied
    where
        F: TyCon,
        Row: SumApp<'a, F>;
}

Required methods

fn get_sum(
    self: Box<Self, Global>
) -> Box<<Row as SumApp<'a, F>>::Applied, Global> where
    F: TyCon,
    Row: SumApp<'a, F>, 

fn get_sum_borrow(&'b self) -> &'b <Row as SumApp<'a, F>>::Applied where
    F: TyCon,
    Row: SumApp<'a, F>, 

Implementors

impl<'a, S, Row, F> HasSumApp<'a, Row, F> for S where
    F: TyCon,
    S: Send,
    Row: SumApp<'a, F, Applied = S>,