Struct Not 

pub struct Not<A>(/* private fields */);

Passes exactly when the sub-rule A fails.

Not inverts any Validator, regardless of its error type, and reports a ValidationError with code "not" when A unexpectedly passes.

Examples

use type_lib::combinator::Not;
use type_lib::rules::Ascii;
use type_lib::Validator;

// Require that a string is *not* pure ASCII.
type NonAscii = Not<Ascii>;

assert!(NonAscii::validate("café").is_ok()); // not ASCII -> passes
assert!(NonAscii::validate("plain").is_err()); // ASCII -> fails

Trait Implementations

impl<T, A> Validator<T> for Not<A>

where T: ?Sized, A: Validator<T>,

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &T) -> Result<(), Self::Error>

Checks value against the rule.