Trait ferrite_session::prelude::HasSumApp [−][src]
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
impl<S, Row, F> HasSumApp<Row, F> for S where
F: TyCon,
S: Send + 'static,
Row: SumApp<F, Applied = S>,
[src]
F: TyCon,
S: Send + 'static,
Row: SumApp<F, Applied = S>,