Trait proof_of_sql::base::commitment::ColumnCommitmentMetadataMapExt

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;
}

Extension trait intended for ColumnCommitmentMetadataMap.

Required Methods

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.

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.

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.

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

impl ColumnCommitmentMetadataMapExt for ColumnCommitmentMetadataMap