Enum ValidationError 

pub enum ValidationError {
    V1DuplicateName {
        combinator: &'static str,
        name: String,
    },
    V2ShapeMismatch {
        expected: Vec<String>,
        actual: Vec<String>,
    },
    V3UnresolvedNames {
        reads: Vec<NameRead>,
    },
    V4InputShape {
        strategy: StrategyName,
        reason: String,
    },
    V6UnboundedDiscrete {
        operator: &'static str,
        cardinality: CardinalityClass,
    },
    V7ZipCardinality {
        mode: ZipMode,
        reason: String,
    },
    V8ContinuousRequirement {
        reason: String,
    },
    V9UnionClassMismatch {
        reason: String,
    },
    StrictWarning(ValidationWarning),
    ContextRequired {
        name: String,
        references: Vec<String>,
    },
    PredicateContextRequired {
        predicate: String,
        references: Vec<String>,
    },
    SourceFailed {
        name: String,
        message: String,
    },
}

V-axiom violation. Each variant carries enough context to produce a useful diagnostic at the call site.

Variants

V1DuplicateName

V1 — cartesian or zip children share a name.

Fields

combinator: &'static str

The combinator whose children share the name.

name: String

The duplicated name.

V2ShapeMismatch

V2 — union children disagree on tuple shape.

Fields

expected: Vec<String>

The tuple shape of the first child.

actual: Vec<String>

The shape that differs.

V3UnresolvedNames

V3 — a clause source or a filter predicate reads a name that neither the comprehension binds where it is read nor the surface it is evaluated on supplies (check_names).

Fields

reads: Vec<NameRead>

Each such name, with where it is read, in tree order.

V4InputShape

V4 — strategy applied to an input whose metadata-derived IndexFn it cannot accept (per-strategy table in check_strategy_input_shape). A strategy that selects from the shape reads through the untruncated orders under it, and V5 looks through one filter layer; nested filters are rejected.

Fields

strategy: StrategyName

The strategy applied.

reason: String

Why its input’s shape is unacceptable.

V6UnboundedDiscrete

V6 — non-Lex order or Strict/Truncate zip applied to an Unbounded discrete input.

Fields

operator: &'static str

The operator applied.

cardinality: CardinalityClass

The unbounded input’s cardinality class.

V7ZipCardinality

V7 — zip cardinality contract violated. Three sub-cases: Strict-mode mismatch, mixed-class children, or any continuous child.

Fields

mode: ZipMode

The zip mode in force.

reason: String

Which contract was violated.

V8ContinuousRequirement

V8 — continuous source requires explicit sampling OR source declares a non-integrable measure.

Fields

reason: String

What the source lacks.

V9UnionClassMismatch

V9 — union children include a continuous or mixed-class child.

Fields

reason: String

Which child mismatches, and how.

StrictWarning(ValidationWarning)

Strict mode (comprehension_forms.md §5.8): a degenerate composition the permissive mode only warns about.

ContextRequired

A source that needs a scope, on the scope-less surfaces (comprehension_forms.md §9.5.2, §10.7.0): a coordinate stream binds no names, the traversal does.

Fields

name: String

The clause.

references: Vec<String>

The names its source references.

PredicateContextRequired

A filter whose predicate names what its tuples do not bind, on the scope-less surfaces: a traversal resolves such a name in the scope it opens in, and a coordinate stream has none.

Fields

predicate: String

The predicate.

references: Vec<String>

The names it references that its tuples do not bind.

SourceFailed

A context-free source that could not be evaluated, on the scope-less surfaces. Its only evaluation is the compile’s, in the empty scope, so its failure is the comprehension’s error rather than a clause that dispenses nothing.

Fields

name: String

The clause.

message: String

The evaluator’s message.

Trait Implementations

impl Clone for ValidationError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationError

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

Formats the value using the given formatter.

impl Display for ValidationError

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

Formats the value using the given formatter.

impl Error for ValidationError

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 ValidationError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ValidationError