Trait ferrite_session::internal::public::prelude::HasSumApp[−][src]

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<'a>(&'a self) -> &'a 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>, [src]

fn get_sum_borrow<'a>(&'a self) -> &'a Row::Applied where
    F: TyCon,
    Row: SumApp<F>, [src]

Loading content...

Implementors

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

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

fn get_sum_borrow<'a>(&'a self) -> &'a Row::Applied where
    F: TyCon,
    Row: SumApp<F>, [src]

Loading content...