Trait ferrite_session::functional::ElimSum [−][src]
Required methods
fn elim_sum<F, E, R>(elim_field: E, row: AppSum<Self, F>) -> R where
F: TyCon,
E: ElimField<F, R>,
[src]
F: TyCon,
E: ElimField<F, R>,
Implementations on Foreign Types
impl ElimSum for ()
[src]
fn elim_sum<F, E, R>(_elim_field: E, row: AppSum<Self, F>) -> R where
F: TyCon,
E: ElimField<F, R>,
[src]
F: TyCon,
E: ElimField<F, R>,
impl<A, R> ElimSum for (A, R) where
A: Send + 'static,
R: ElimSum,
[src]
Loading content...A: Send + 'static,
R: ElimSum,