Macro assert_forall

macro_rules! assert_forall {
    ($iter:expr, $pred:expr) => { ... };
    ($iter:expr, $pred:expr, $($msg:tt)+) => { ... };
}

Asserts that all elements in the collection satisfy the given predicate.

Example

use quantor::assert_forall;
 
let numbers = vec!(0, 2, 4, 6);
 
assert_forall!(&numbers, |x| x % 2 == 0);