Struct SubEnv 

struct SubEnv<'a, F: PrimeField, CIx1: ColumnIndexer<usize>, Env1: ColAccessCap<F, CIx1>, L> {
    env: &'a mut Env1,
    lens: L,
    phantom: PhantomData<(F, CIx1)>,
}

Generic sub-environment struct: don’t use directly. It’s an internal object to avoid copy-paste.

We can’t use SubEnv directly because rust is not idris: it is impossible to instantiate SubEnv with two /completely/ different lenses and then write proper trait implementations. Rust complains about conflicting trait implementations.

Fields

env: &'a mut Env1

lens: L

phantom: PhantomData<(F, CIx1)>

Implementations

impl<'a, F: PrimeField, CIx1: ColumnIndexer<usize>, Env1: ColAccessCap<F, CIx1>, L> SubEnv<'a, F, CIx1, Env1, L>

pub fn new(env: &'a mut Env1, lens: L) -> Self

Trait Implementations

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

type Variable = <Env1 as ColAccessCap<F, CIx1>>::Variable

fn assert_zero(&mut self, cst: Self::Variable)

Asserts that the value is zero.

fn set_assert_mapper( &mut self, mapper: Box<dyn Fn(Self::Variable) -> Self::Variable>, )

Sets an assert predicate f(X) such that when assert_zero is called on x, it will actually perform assert_zero(f(x)).

fn constant(value: F) -> Self::Variable

Turns a constant value into a variable.

fn read_column(&self, ix: CIx2) -> Self::Variable

Reads value from a column position.

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

fn write_column(&mut self, ix: CIx2, value: &Self::Variable)

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

fn hcopy(&mut self, x: &Self::Variable, ix: CIx2) -> Self::Variable

Given variable x and position ix, it (hybrid) writes x into ix, and returns the value.