Struct proof_of_sql::base::commitment::ColumnCommitmentMetadata

pub struct ColumnCommitmentMetadata { /* private fields */ }

Anonymous metadata associated with a column commitment.

Implementations

impl ColumnCommitmentMetadata

pub fn try_new( column_type: ColumnType, bounds: ColumnBounds, ) -> Result<ColumnCommitmentMetadata, InvalidColumnCommitmentMetadata>

Construct a new ColumnCommitmentMetadata.

Will error if the supplied metadata are invalid. i.e., if The Bounds variant and column type do not match.

pub fn from_column_type_with_max_bounds(column_type: ColumnType) -> Self

Construct a ColumnCommitmentMetadata with widest possible bounds for the column type.

pub fn column_type(&self) -> &ColumnType

Immutable reference to this column’s type.

pub fn bounds(&self) -> &ColumnBounds

Immutable reference to this column’s bounds.

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

Contruct a ColumnCommitmentMetadata by analyzing a column.

pub fn try_union( self, other: ColumnCommitmentMetadata, ) -> Result<ColumnCommitmentMetadata, ColumnCommitmentMetadataMismatch>

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

Can error if the two metadatas are mismatched.

pub fn try_difference( self, other: ColumnCommitmentMetadata, ) -> Result<ColumnCommitmentMetadata, ColumnCommitmentMetadataMismatch>

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 ColumnCommitmentMetadata

fn clone(&self) -> ColumnCommitmentMetadata

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ColumnCommitmentMetadata

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ColumnCommitmentMetadata

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ColumnCommitmentMetadata

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

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 ColumnCommitmentMetadata

impl Eq for ColumnCommitmentMetadata

impl StructuralPartialEq for ColumnCommitmentMetadata