Trait ferrite_session::RowWitnessCont

pub trait RowWitnessCont<Row, F, K> {
    fn on_row_witness(self: Box<Self>, row: Box<Row::Applied>) -> K
    where
        F: TyCon,
        Row: RowApp<F>;
}

Required methods

fn on_row_witness(self: Box<Self>, row: Box<Row::Applied>) -> K where
    F: TyCon,
    Row: RowApp<F>, 

Loading content...

Implementors

Loading content...