Trait ColWriteCap

pub trait ColWriteCap<F: PrimeField, CIx: ColumnIndexer<usize>>
where
    Self: ColAccessCap<F, CIx>,
{
    // Required method
    fn write_column(&mut self, col: CIx, value: &Self::Variable);
}

Environment capability similar to ColAccessCap but for /also writing/ columns. Used on the witness side.

Required Methods

fn write_column(&mut self, col: CIx, value: &Self::Variable)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, F: PrimeField, CIx1: ColumnIndexer<usize>, CIx2: ColumnIndexer<usize>, Env1: ColWriteCap<F, CIx1>, L: MPrism<Source = CIx1, Target = CIx2>> ColWriteCap<F, CIx2> for SubEnvColumn<'a, F, CIx1, Env1, L>

impl<'a, F: PrimeField, CIx1: ColumnIndexer<usize>, Env1: ColWriteCap<F, CIx1>, L> ColWriteCap<F, CIx1> for SubEnvLookup<'a, F, CIx1, Env1, L>

impl<F: PrimeField, CIx: ColumnIndexer<usize>, const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID> ColWriteCap<F, CIx> for WitnessBuilderEnv<F, CIx, N_WIT, N_REL, N_DSEL, N_FSEL, LT>