Struct Index 

pub struct Index { /* private fields */ }

Index

Implementations

impl Index

pub const fn new( name: &'static str, fields: &'static [&'static str], unique: bool, ) -> Self

Build one index declaration from field-list and uniqueness metadata.

pub const fn new_with_predicate( name: &'static str, fields: &'static [&'static str], unique: bool, predicate: Option<&'static str>, predicate_expression: Option<SourceExpressionResolver>, ) -> Self

Build one index declaration with optional conditional predicate metadata.

pub const fn new_with_key_items( name: &'static str, fields: &'static [&'static str], key_items: &'static [IndexKeyItem], unique: bool, ) -> Self

Build one index declaration with explicit canonical key-item metadata.

pub const fn new_with_key_items_and_predicate( name: &'static str, fields: &'static [&'static str], key_items: Option<&'static [IndexKeyItem]>, unique: bool, predicate: Option<&'static str>, predicate_expression: Option<SourceExpressionResolver>, ) -> Self

Build one index declaration with explicit key items + predicate metadata.

pub const fn name(&self) -> &'static str

Borrow the current index name.

pub const fn fields(&self) -> &'static [&'static str]

Borrow index field sequence.

pub const fn key_items(&self) -> IndexKeyItemsRef

Borrow canonical key-item metadata for this index.

pub const fn has_expression_key_items(&self) -> bool

Return whether this index includes expression key items.

pub const fn is_unique(&self) -> bool

Return whether the index enforces uniqueness.

pub const fn predicate(&self) -> Option<&'static str>

Return optional conditional-index predicate SQL metadata.

This text is input-only; runtime/planner semantics must consume the canonical lowered predicate form.

pub fn source_predicate( &self, schema: &Schema, ) -> Result<Option<SourceCheckExpr>, SchemaContractError>

Lower the optional compiler-validated predicate into the public source AST.

Errors

Returns a typed proposal error when an enum literal no longer resolves through the sealed graph or the expression violates public bounds.

pub fn is_prefix_of(&self, other: &Self) -> bool

Trait Implementations

impl Clone for Index

fn clone(&self) -> Index

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Index

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

Formats the value using the given formatter.

impl Display for Index

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

Formats the value using the given formatter.

impl Serialize for Index

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

where __S: Serializer,

Serialize this value into the given Serde serializer.