Enum proof_of_sql::base::commitment::ColumnBounds

pub enum ColumnBounds {
    NoOrder,
    SmallInt(Bounds<i16>),
    Int(Bounds<i32>),
    BigInt(Bounds<i64>),
    Int128(Bounds<i128>),
    TimestampTZ(Bounds<i64>),
}

Column metadata storing the bounds for column types that have order.

Other Ord column variants do exist (like Scalar/Boolean). However, bounding these is useless unless we are performing indexing on these columns. This functionality only be considered after we support them in the user-facing sql.

Variants

NoOrder

Column does not have order.

SmallInt(Bounds<i16>)

The bounds of a SmallInt column.

Int(Bounds<i32>)

The bounds of an Int column.

BigInt(Bounds<i64>)

The bounds of a BigInt column.

Int128(Bounds<i128>)

The bounds of an Int128 column.

TimestampTZ(Bounds<i64>)

The bounds of a Timestamp column.

Implementations

impl ColumnBounds

pub fn from_column(column: &CommittableColumn<'_>) -> ColumnBounds

Construct a ColumnBounds from a column by reference.

If the column variant has order, only the minimum and maximum value will be copied.

pub fn try_union(self, other: Self) -> Result<Self, ColumnBoundsMismatch>

Combine two ColumnBounds as if their source collections are being unioned.

Can error if the two values do not share the same ColumnBounds variant.

pub fn try_difference(self, other: Self) -> Result<Self, ColumnBoundsMismatch>

Combine two ColumnBounds as if their source collections are being differenced.

This should be interpreted as the set difference of the two collections. The result would be the rows in self that are not also rows in other.

Trait Implementations

impl Clone for ColumnBounds

fn clone(&self) -> ColumnBounds

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ColumnBounds

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ColumnBounds

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ColumnBounds

fn eq(&self, other: &ColumnBounds) -> 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 Serialize for ColumnBounds

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ColumnBounds

impl Eq for ColumnBounds

impl StructuralPartialEq for ColumnBounds