Struct EffectiveRelates 

pub struct EffectiveRelates { /* private fields */ }

Effective related role, including specialization replacement history.

Implementations

impl EffectiveRelates

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

Return the effective related-role identity.

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 players must be distinct within the ordered collection.

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

Return independent annotations on the exact relates fact.

pub const fn cardinality(&self) -> Cardinality

Return explicit or profile-materialized cardinality.

pub const fn replaced_roles(&self) -> &BTreeSet<RoleId>

Return every inherited role interface replaced by specialization.

pub const fn is_abstract(&self) -> bool

Report whether this role cannot be instantiated directly.

pub fn accepts_players_at_effective_scope(&self) -> bool

Report whether players may fill this role at the effective relation scope.

TypeDB forbids players only at the relation that directly declares an abstract role. A concrete child relation may use the same role when it is inherited without specialization, while the role remains schema-abstract.

Trait Implementations

impl Clone for EffectiveRelates

fn clone(&self) -> EffectiveRelates

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectiveRelates

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

Formats the value using the given formatter.

impl Eq for EffectiveRelates

impl PartialEq for EffectiveRelates

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EffectiveRelates