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(&self) -> &Row::Applied
where
F: TyCon,
Row: SumApp<F>; }
Required methods
fn get_sum_borrow(&self) -> &Row::Applied where
F: TyCon,
Row: SumApp<F>,