Enum InvalidationTrigger 

pub enum InvalidationTrigger {
    CapturedDeclaration {
        watched: Identity<CapturedDeclaration>,
    },
    Profile {
        watched: Profile,
    },
    Generator {
        watched: Identity<GeneratorVersion>,
    },
    ProjectionContent {
        watched: Identity<ProjectionContent>,
    },
    Declared {
        name: &'static str,
        watched: OwnerIdentity,
    },
}

One thing whose change makes a plan stale, and exactly which thing it watches.

A relevant change invalidates loudly and names what moved; a change no row watches — formatting, declaration order, an alias — touches nothing, because nothing watches those.

Variants

CapturedDeclaration

A captured declaration the plan stands on.

Fields

watched: Identity<CapturedDeclaration>

The watched capture.

Profile

The profile the plan was decided under, at the version it was decided at.

Fields

watched: Profile

The watched profile.

Generator

The generator that produced the plan.

Fields

watched: Identity<GeneratorVersion>

The watched generator version.

ProjectionContent

The kind-specific content commitment the plan was decided over.

Fields

watched: Identity<ProjectionContent>

The watched content commitment.

Declared

Anything else a consumer declared this plan watches.

One row rather than a row per consumer noun: a mechanism profile, a work formula, and a fixture population are three consumers’ facts, and a compiler that enumerated them would be minting vocabulary for meanings it does not own.

Fields

name: &'static str

The consumer’s declared name for what moved.

watched: OwnerIdentity

The identity that moving is watched by.

Implementations

impl InvalidationTrigger

pub fn encode_into(&self, into: &mut Vec<u8>)

Appends this trigger’s canonical bytes: the row’s discriminant, then what it watches.

Two rows watching one thing never encode alike, because the discriminant rides ahead of the material.

impl InvalidationTrigger

pub const fn slot(&self) -> u8

The discriminant byte a canonical encoding writes ahead of what this row watches.

impl InvalidationTrigger

pub fn one_watched(trigger: Self) -> InvalidationSet

The one-trigger watch set. Total: one trigger always fits.

pub fn watched( first: Self, rest: Vec<Self>, ) -> Result<InvalidationSet, PlanError>

Watches these triggers, the first one and the rest.

Several triggers of one row are lawful where they watch distinct things.

Errors

Returns the planning refusal naming BoundAxis::Triggers where the set outgrows TRIGGER_LIMIT.

Trait Implementations

impl Clone for InvalidationTrigger

fn clone(&self) -> InvalidationTrigger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InvalidationTrigger

impl Debug for InvalidationTrigger

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

Formats the value using the given formatter.

impl Eq for InvalidationTrigger

impl Hash for InvalidationTrigger

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 InvalidationTrigger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InvalidationTrigger