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: TThe final product after successful verification
§
diagnostics: Vec<WolframError>Some diagnostics that does not stop the analysis
Failure
Verification process interrupted
Fields
§
fatal: WolframErrorA fatal problem prevents the analysis from continuing
§
diagnostics: Vec<WolframError>Some diagnostics that does not stop the analysis