proof_of_sql::base::commitment

Type Alias ColumnCommitmentMetadataMap

source
pub type ColumnCommitmentMetadataMap = IndexMap<Identifier, ColumnCommitmentMetadata, BuildHasherDefault<AHasher>>;
Expand description

Mapping of column identifiers to column metadata used to associate metadata with commitments.

Aliased Type§

struct ColumnCommitmentMetadataMap { /* private fields */ }

Trait Implementations§

source§

impl ColumnCommitmentMetadataMapExt for ColumnCommitmentMetadataMap

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.