proof_of_sql::base::commitment

Trait ColumnCommitmentMetadataMapExt

source
pub trait ColumnCommitmentMetadataMapExt {
    // Required methods
    fn from_column_fields_with_max_bounds(columns: &[ColumnField]) -> Self;
    fn from_columns<'a>(
        columns: impl IntoIterator<Item = (&'a Identifier, &'a CommittableColumn<'a>)>,
    ) -> Self
       where Self: Sized;
    fn try_union(self, other: Self) -> Result<Self, ColumnCommitmentsMismatch>
       where Self: Sized;
    fn try_difference(
        self,
        other: Self,
    ) -> Result<Self, ColumnCommitmentsMismatch>
       where Self: Sized;
}
Expand description

Extension trait intended for ColumnCommitmentMetadataMap.

Required Methods§

source

fn from_column_fields_with_max_bounds(columns: &[ColumnField]) -> Self

Construct this mapping from a slice of column fields, with the bounds of each column set to the widest possible bounds for the column type.

source

fn from_columns<'a>( columns: impl IntoIterator<Item = (&'a Identifier, &'a CommittableColumn<'a>)>, ) -> Self
where Self: Sized,

Construct this mapping from an iterator of column identifiers and columns.

source

fn try_union(self, other: Self) -> Result<Self, ColumnCommitmentsMismatch>
where Self: Sized,

Combine two metadata maps as if the source table commitments are being unioned.

source

fn try_difference(self, other: Self) -> Result<Self, ColumnCommitmentsMismatch>
where Self: Sized,

Combine two metadata maps as if the source table commitments are being differenced.

Object Safety§

This trait is not object safe.

Implementors§