Enum OriginRelation 

pub enum OriginRelation {
    AuthoredDeclaration,
    PatternInstantiation,
    SemanticDerivation,
    ExplicitLink,
    Normalization,
    ProfileSelection,
    ProjectionSelection,
    Rendering,
    TestDerivation,
    BenchmarkDerivation,
    DiagnosticDerivation,
}

What one edge of the origin graph stands for.

The roster is the vocabulary: an edge that means something else is a law change rather than a new string.

Variants

AuthoredDeclaration

A declaration a person authored.

PatternInstantiation

An authored pattern instantiated with typed arguments.

SemanticDerivation

Meaning derived from meaning already established.

ExplicitLink

A link an author stated explicitly.

Normalization

A step that changed form and not meaning.

ProfileSelection

A projection profile selected.

ProjectionSelection

A projection kind selected under that profile.

Rendering

Typed material rendered into a target’s syntax.

TestDerivation

A test descriptor derived from an obligation.

BenchmarkDerivation

A benchmark descriptor derived from a work formula.

DiagnosticDerivation

A diagnostic derived from an observed disagreement.

Implementations

impl OriginRelation

pub const ALL: &'static [Self]

The complete roster, in slot order.

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

The relation’s declared stable name.

pub const fn slot(self) -> u8

The byte an edge’s canonical bytes carry for this relation.

A row is APPENDED and never renumbered: renumbering an occupied slot re-encodes trails that were already encoded.

Trait Implementations

impl Clone for OriginRelation

fn clone(&self) -> OriginRelation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OriginRelation

impl Debug for OriginRelation

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

Formats the value using the given formatter.

impl Eq for OriginRelation

impl Hash for OriginRelation

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 OriginRelation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OriginRelation