Enum DiagnosticConstraintKind 

pub enum DiagnosticConstraintKind {
    Check,
    NotNull,
    Relation,
    TargetedRule,
    Unique,
}

Compact accepted constraint family carried by DiagnosticFactTag::ConstraintKind.

Variants

Check

Compact diagnostic value 1.

NotNull

Compact diagnostic value 2.

Relation

Compact diagnostic value 3.

TargetedRule

Compact diagnostic value 4.

Unique

Compact diagnostic value 5.

Implementations

impl DiagnosticConstraintKind

pub const fn raw(self) -> u64

Return the fixed numeric fact value.

pub const fn known(raw: u64) -> Option<Self>

Recover a known compact value from its public numeric identity.

Trait Implementations

impl Clone for DiagnosticConstraintKind

fn clone(&self) -> DiagnosticConstraintKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DiagnosticConstraintKind

impl Debug for DiagnosticConstraintKind

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

Formats the value using the given formatter.

impl Eq for DiagnosticConstraintKind

impl Hash for DiagnosticConstraintKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for DiagnosticConstraintKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DiagnosticConstraintKind