Enum WakeConditionPurityError 

pub enum WakeConditionPurityError {
    UnknownCondition {
        condition: String,
    },
    NotAFunctionValue,
    MissingEffectRow {
        condition: String,
    },
    Writes {
        condition: String,
        writes: Vec<String>,
    },
    Opaque {
        condition: String,
    },
    ExternalWrites {
        condition: String,
        external: String,
        writes: Vec<String>,
    },
    CommandBinding {
        condition: String,
        external: String,
    },
}

A wake condition failed the attach-time purity check. See the module section above for the contract this enforces.

Variants

UnknownCondition

The condition name/path didn’t resolve to any definition in this story.

Fields

condition: String

The condition name/path (or a divert_target_path label for a value-resolved condition) that failed to resolve.

NotAFunctionValue

The condition value wasn’t a function value (FnRef/Closure) at all — check_value_condition_purity only has a target definition to inspect for an actual fn-value token.

MissingEffectRow

The condition resolved to a definition, but this story’s (non-empty) EffectRows table has no row for it — an internal invariant violation (every knot/stitch ships one once the table is populated at all), never a panic: conservatively treated as impure.

Fields

condition: String

The condition name/path/label this row lookup failed for.

Writes

The condition (or a dispatch fallback its row folds in) writes one or more global cells.

Fields

condition: String

The condition name/path/label.

writes: Vec<String>

The written globals’ names, sorted and deduplicated.

Opaque

The condition’s row (or a dispatch fallback) is opaque — effects inference couldn’t summarize a call it makes (§3’s pessimal top). Purity can’t be proven, so it’s conservatively rejected.

Fields

condition: String

The condition name/path/label.

ExternalWrites

The condition (or a dispatch fallback its row folds in) calls a host-registered EXTERNAL binding whose CapabilityManifest entry declares one or more writes capabilities (issue #1040, the #995 follow-up; docs/effects-spec.md §9/§13).

Fields

condition: String

The condition name/path/label.

external: String

The EXTERNAL binding’s name.

writes: Vec<String>

The written capability names the manifest declares, sorted and deduplicated.

CommandBinding

The condition (or a dispatch fallback its row folds in) calls a bind_brink_command-bound EXTERNAL (issue #1609, an #1096 follow-up). Rejected regardless of CapabilityManifest presence: bevy-brink knows the binding kind locally, and a command binding mutates the World when its parsed event is triggered, so a wake condition reaching it would let re-evaluation fire that mutation repeatedly (§13.1 point 2).

Fields

condition: String

The condition name/path/label.

external: String

The command-bound external’s name.

Trait Implementations

impl Clone for WakeConditionPurityError

fn clone(&self) -> WakeConditionPurityError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WakeConditionPurityError

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

Formats the value using the given formatter.

impl Display for WakeConditionPurityError

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

Formats the value using the given formatter.

impl Eq for WakeConditionPurityError

impl Error for WakeConditionPurityError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for WakeConditionPurityError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WakeConditionPurityError