[−][src]Trait ferrite_session::ElimSum
Required methods
fn elim_sum<F, E, R>(elim_field: E, row: AppliedSum<Self, F>) -> R where
F: TyCon,
E: ElimField<F, R>,
F: TyCon,
E: ElimField<F, R>,
Implementations on Foreign Types
impl ElimSum for ()
[src]
fn elim_sum<F, E, R>(_elim_field: E, row: AppliedSum<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]
A: Send + 'static,
R: ElimSum,
fn elim_sum<F, E, K>(e: E, row1: AppliedSum<Self, F>) -> K where
F: TyCon,
E: ElimField<F, K>,
[src]
F: TyCon,
E: ElimField<F, K>,