Type Alias Validation

pub type Validation<T> = Validation<T, WolframError>;

Aliased Type

pub enum Validation<T> {
    Success {
        value: T,
        diagnostics: Vec<WolframError>,
    },
    Failure {
        fatal: WolframError,
        diagnostics: Vec<WolframError>,
    },
}

Variants

Success

Verification process complete

Fields

value: T

The final product after successful verification

diagnostics: Vec<WolframError>

Some diagnostics that does not stop the analysis

Failure

Verification process interrupted

Fields

fatal: WolframError

A fatal problem prevents the analysis from continuing

diagnostics: Vec<WolframError>

Some diagnostics that does not stop the analysis