Trait ferrite_session::ElimSum

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

Required methods

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

Loading content...

Implementations on Foreign Types

impl ElimSum for ()

fn elim_sum<F, E, R>(_elim_field: E, row: AppliedSum<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: AppliedSum<Self, F>) -> K where
    F: TyCon,
    E: ElimField<F, K>, 

Loading content...

Implementors

Loading content...