Struct ColumnExpr

pub struct ColumnExpr { /* private fields */ }

Provable expression for a column

Note: this is currently limited to named column expressions.

Implementations

impl ColumnExpr

pub fn new(column_ref: ColumnRef) -> Self

Create a new column expression

pub fn get_column_reference(&self) -> ColumnRef

Return the column referenced by this ColumnExpr

pub fn column_ref(&self) -> &ColumnRef

Get the column reference

pub fn get_column_field(&self) -> ColumnField

Wrap the column output name and its type within the ColumnField

pub fn column_id(&self) -> Ident

Get the column identifier

pub fn fetch_column<'a, S: Scalar>(&self, table: &Table<'a, S>) -> Column<'a, S>

Get the column

Panics

Will panic if the column is not found. Shouldn’t happen in practice since code in sql/parse should have already checked that the column exists.

Trait Implementations

impl Clone for ColumnExpr

fn clone(&self) -> ColumnExpr

Returns a duplicate of the value.

const fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ColumnExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ColumnExpr

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ColumnExpr> for DynProofExpr

fn from(v: ColumnExpr) -> DynProofExpr

Converts to this type from the input type.

impl PartialEq for ColumnExpr

fn eq(&self, other: &ColumnExpr) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ProofExpr for ColumnExpr

fn data_type(&self) -> ColumnType

Get the data type of the expression

fn first_round_evaluate<'a, S: Scalar>( &self, _alloc: &'a Bump, table: &Table<'a, S>, _params: &[LiteralValue], ) -> PlaceholderResult<Column<'a, S>>

Evaluate the column expression and add the result to the FirstRoundBuilder

fn final_round_evaluate<'a, S: Scalar>( &self, _builder: &mut FinalRoundBuilder<'a, S>, _alloc: &'a Bump, table: &Table<'a, S>, _params: &[LiteralValue], ) -> PlaceholderResult<Column<'a, S>>

Given the selected rows (as a slice of booleans), evaluate the column expression and add the components needed to prove the result

fn verifier_evaluate<S: Scalar>( &self, _builder: &mut impl VerificationBuilder<S>, accessor: &IndexMap<Ident, S, BuildHasherDefault<AHasher>>, _chi_eval: S, _params: &[LiteralValue], ) -> Result<S, ProofError>

Evaluate the column expression at the sumcheck’s random point, add components needed to verify this column expression

fn get_column_references( &self, columns: &mut IndexSet<ColumnRef, BuildHasherDefault<AHasher>>, )

Insert in the [IndexSet] columns all the column references in the BoolExpr or forwards the call to some subsequent bool_expr

impl Serialize for ColumnExpr

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryInto<ColumnExpr> for DynProofExpr

type Error = &'static str

The type returned in the event of a conversion error.

fn try_into(self) -> Result<ColumnExpr, <Self as TryInto<ColumnExpr>>::Error>

Performs the conversion.

impl Eq for ColumnExpr

impl StructuralPartialEq for ColumnExpr