Type Alias nyar_error::Validation

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

Aliased Type

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

Variants

Success

Fields

value: T

The final product after successful verification

diagnostics: Vec<NyarError>

Some diagnostics that does not stop the analysis

Verification process complete

Failure

Fields

fatal: NyarError

A fatal problem prevents the analysis from continuing

diagnostics: Vec<NyarError>

Some diagnostics that does not stop the analysis

Verification process interrupted