Trait ferrite_session::internal::functional::HasSumApp

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

Required methods

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

fn get_sum_borrow<'b>(&'b self) -> &'b Row::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>,