Trait ferrite_session::functional::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]
F: TyCon,
Row: SumApp<F>,
fn get_sum_borrow<'a>(&'a self) -> &'a Row::Applied where
F: TyCon,
Row: SumApp<F>,
[src]
F: TyCon,
Row: SumApp<F>,
Implementors
Loading content...