Type Alias Validation

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

Aliased Type

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

Variants

Success

Verification process complete

Fields

value: T

The final product after successful verification

diagnostics: Vec<NyarError>

Some diagnostics that does not stop the analysis

Failure

Verification process interrupted

Fields

fatal: NyarError

A fatal problem prevents the analysis from continuing

diagnostics: Vec<NyarError>

Some diagnostics that does not stop the analysis