Struct Col

pub struct Col<F: TowerField, const VALUES_PER_ROW: usize = 1> {
    pub table_id: TableId,
    pub table_index: TableId,
    pub partition_index: ColumnPartitionIndex,
    /* private fields */
}

A typed identifier for a column in a table.

The column has entries that are elements of F. In practice, the fields used will always be from the canonical tower (B1, B8, B16, B32, B64, B128). The second constant represents how many elements are packed vertically into a single logical row. For example, a column of type Col<B1, 32> will have 2^5 = 32 elements of B1 packed into a single row.

Fields

table_id: TableId

table_index: TableId

partition_index: ColumnPartitionIndex

Implementations

impl<F: TowerField, const VALUES_PER_ROW: usize> Col<F, VALUES_PER_ROW>

pub fn shape(&self) -> ColumnShape

pub fn id(&self) -> ColumnId

Trait Implementations

impl<F: TowerField, const V: usize> Add<Col<F, V>> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: Col<F, V>) -> Self::Output

Performs the + operation.

impl<F: TowerField, const V: usize> Add<Expr<F, V>> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: Expr<F, V>) -> Self::Output

Performs the + operation.

impl<F: TowerField, const V: usize> Add<F> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: F) -> Self::Output

Performs the + operation.

impl<F: TowerField, const V: usize> Add for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<F: Clone + TowerField, const VALUES_PER_ROW: usize> Clone for Col<F, VALUES_PER_ROW>

fn clone(&self) -> Col<F, VALUES_PER_ROW>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + TowerField, const VALUES_PER_ROW: usize> Debug for Col<F, VALUES_PER_ROW>

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

Formats the value using the given formatter.

impl<F: TowerField, const V: usize> From<Col<F, V>> for Expr<F, V>

fn from(value: Col<F, V>) -> Self

Converts to this type from the input type.

impl<F: TowerField, const V: usize> Mul<Col<F, V>> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: Col<F, V>) -> Self::Output

Performs the * operation.

impl<F: TowerField, const V: usize> Mul<Expr<F, V>> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: Expr<F, V>) -> Self::Output

Performs the * operation.

impl<F: TowerField, const V: usize> Mul<F> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: F) -> Self::Output

Performs the * operation.

impl<F: TowerField, const V: usize> Mul for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl<F: PartialEq + TowerField, const VALUES_PER_ROW: usize> PartialEq for Col<F, VALUES_PER_ROW>

fn eq(&self, other: &Col<F, VALUES_PER_ROW>) -> bool

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

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<F: TowerField, const V: usize> Sub<Col<F, V>> for Expr<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: Col<F, V>) -> Self::Output

Performs the - operation.

impl<F: TowerField, const V: usize> Sub<Expr<F, V>> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: Expr<F, V>) -> Self::Output

Performs the - operation.

impl<F: TowerField, const V: usize> Sub<F> for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: F) -> Self::Output

Performs the - operation.

impl<F: TowerField, const V: usize> Sub for Col<F, V>

type Output = Expr<F, V>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl<F: Copy + TowerField, const VALUES_PER_ROW: usize> Copy for Col<F, VALUES_PER_ROW>

impl<F: Eq + TowerField, const VALUES_PER_ROW: usize> Eq for Col<F, VALUES_PER_ROW>

impl<F: TowerField, const VALUES_PER_ROW: usize> StructuralPartialEq for Col<F, VALUES_PER_ROW>