Trait ferrite_session::internal::functional::row::HasSumApp

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

Required methods

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

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

Implementors

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