diceprop 0.3.0

Mathematical properties for random testing
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use std::fmt::{Debug, Display};

use crate::{Eval, Fun2, Fun2Label};

/// The values are equal based on [`PartialEq`].
pub fn eq<L1, L2, V>(lhs: Eval<L1, &V>, rhs: Eval<L2, &V>) -> Eval<Fun2Label<'static, L1, L2>, bool>
where
    L1: Display + Copy,
    L2: Display + Copy,
    V: Debug + PartialEq,
{
    Fun2::infix("==", |l, r| l == r).eval_once(lhs, rhs)
}

/// The values are not equal based on [`PartialEq`].
pub fn ne<L1, L2, V>(lhs: Eval<L1, &V>, rhs: Eval<L2, &V>) -> Eval<Fun2Label<'static, L1, L2>, bool>
where
    L1: Display + Copy,
    L2: Display + Copy,
    V: Debug + PartialEq,
{
    Fun2::infix("!=", |l, r| l != r).eval_once(lhs, rhs)
}