Trait ferrite_session::internal::functional::public::ElimSum

pub trait ElimSum: RowCon {
    fn elim_sum<F, E, R>(elim_field: E, row: AppSum<Self, F>) -> R
    where
        F: TyCon,
        E: ElimField<F, R>;
}

Required methods

fn elim_sum<F, E, R>(elim_field: E, row: AppSum<Self, F>) -> R where
    F: TyCon,
    E: ElimField<F, R>, 

Implementations on Foreign Types

impl ElimSum for ()

fn elim_sum<F, E, R>(_elim_field: E, row: AppSum<Self, F>) -> R where
    F: TyCon,
    E: ElimField<F, R>, 

impl<A, R> ElimSum for (A, R) where
    A: Send + 'static,
    R: ElimSum, 

fn elim_sum<F, E, K>(e: E, row1: AppSum<Self, F>) -> K where
    F: TyCon,
    E: ElimField<F, K>, 

Implementors