Struct type_rules::rules::And
source · [−]pub struct And<T, U>(pub T, pub U);Expand description
Rule to ensure that 2 other rules are Ok.
The rule attribute accepts multiple rules and has the same behavior
but the And rule is useful for rules that accept a single rule such
as All and Opt.
In case of error on both rules, the first one is returned.
Example
use type_rules::prelude::*;
#[derive(Validator)]
struct OptionalMail(
#[rule(Opt(And(MaxLength(1000), RegEx(r"^\S+@\S+\.\S+"))))]
Option<String>
);Tuple Fields
0: T1: UTrait Implementations
Auto Trait Implementations
impl<T, U> RefUnwindSafe for And<T, U> where
T: RefUnwindSafe,
U: RefUnwindSafe,
impl<T, U> Send for And<T, U> where
T: Send,
U: Send,
impl<T, U> Sync for And<T, U> where
T: Sync,
U: Sync,
impl<T, U> Unpin for And<T, U> where
T: Unpin,
U: Unpin,
impl<T, U> UnwindSafe for And<T, U> where
T: UnwindSafe,
U: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more