Enum UnresolvableSafetyReason 

pub enum UnresolvableSafetyReason {
    KeyRequiresDistinctOwners,
    UniqueRequiresDistinctOwners,
    RelatesCardinalityRequiresDistinctPlayers,
    PlaysCardinalityRequiresDistinctRelations,
    OwnsMinimumRequiresDistinctAttributes,
    RegexNarrowingRequiresValueRegex,
    ValueTypeConversionRequiresBackfill,
    SubtypeTransitionRequiresBackfill,
    RoleSpecializationRequiresBackfill,
    ConditionalTransitionRequiresBackfill,
}

Closed reason vocabulary for conditions the current query algebra cannot express.

Variants

KeyRequiresDistinctOwners

@key needs distinct owner-thing comparison.

UniqueRequiresDistinctOwners

@unique needs distinct owner-thing comparison.

RelatesCardinalityRequiresDistinctPlayers

Relates cardinality needs distinct player-thing comparison.

PlaysCardinalityRequiresDistinctRelations

Plays cardinality needs distinct relation-thing comparison.

OwnsMinimumRequiresDistinctAttributes

A minimum greater than one needs distinct attribute-thing comparison.

RegexNarrowingRequiresValueRegex

Regex narrowing needs a canonical regex value predicate.

ValueTypeConversionRequiresBackfill

Value-domain conversion requires an explicit backfill.

SubtypeTransitionRequiresBackfill

Subtype-edge changes require an explicit data-policy decision.

RoleSpecializationRequiresBackfill

Role-specialization changes require an explicit data-policy decision.

ConditionalTransitionRequiresBackfill

A future conditional transition has no assertion-algebra representation.

Implementations

impl UnresolvableSafetyReason

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

Return the stable diagnostic spelling.

Trait Implementations

impl Clone for UnresolvableSafetyReason

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UnresolvableSafetyReason

impl Debug for UnresolvableSafetyReason

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

Formats the value using the given formatter.

impl Eq for UnresolvableSafetyReason

impl PartialEq for UnresolvableSafetyReason

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for UnresolvableSafetyReason

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for UnresolvableSafetyReason