Trait ferrite_session::internal::public::prelude::row::ElimField

pub trait ElimField<F, R> where
    F: TyCon, {
    fn elim_field<A>(self, a: App<F, A>) -> R
    where
        A: Send + 'static;
}

Required methods

fn elim_field<A>(self, a: App<F, A>) -> R where
    A: Send + 'static, 

Loading content...

Implementors

impl<X> ElimField<Const<X>, X> for ElimConst where
    X: Send + 'static, 

fn elim_field<A>(self, x: App<Const<X>, A>) -> X where
    A: 'static, 

Loading content...