Struct EffectiveOwns 

pub struct EffectiveOwns { /* private fields */ }

Effective ownership, including resolved constraints and direct origin.

Implementations

impl EffectiveOwns

pub const fn id(&self) -> &OwnsFactId

Return the effective ownership identity for the resolved owner.

pub const fn origin(&self) -> &ResolutionOrigin

Return its direct declaration origin.

pub const fn collection_mode(&self) -> CollectionMode

Return the effective collection semantics.

pub fn is_distinct(&self) -> bool

Report whether members must be distinct within the ordered collection.

pub const fn annotations( &self, ) -> &BTreeMap<AnnotationKindId, SchemaAnnotationValue>

Return all direct or inherited annotations keyed by independent kind.

pub const fn cardinality(&self) -> Cardinality

Return explicit or profile-materialized cardinality.

pub const fn is_key(&self) -> bool

Report key semantics.

pub const fn is_unique(&self) -> bool

Report uniqueness semantics independent of key.

Trait Implementations

impl Clone for EffectiveOwns

fn clone(&self) -> EffectiveOwns

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectiveOwns

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

Formats the value using the given formatter.

impl Eq for EffectiveOwns

impl PartialEq for EffectiveOwns

fn eq(&self, other: &EffectiveOwns) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for EffectiveOwns