Struct And 

pub struct And<A, B>(/* private fields */);

Passes only when both sub-rules A and B pass.

A is checked first; if it fails its error is returned and B is not run. Both sub-rules must share the same Validator::Error type.

Examples

use type_lib::combinator::And;
use type_lib::rules::{MaxLen, NonEmpty};
use type_lib::Validator;

type ShortNonEmpty = And<NonEmpty, MaxLen<8>>;

assert!(ShortNonEmpty::validate("ok").is_ok());
assert!(ShortNonEmpty::validate("").is_err()); // NonEmpty fails first
assert!(ShortNonEmpty::validate("way too long").is_err()); // MaxLen fails

Trait Implementations

impl<T, A, B, E> Validator<T> for And<A, B>

where T: ?Sized, A: Validator<T, Error = E>, B: Validator<T, Error = E>,

type Error = E

The failure produced when a value violates the rule.

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

Checks value against the rule.