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
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

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

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

/// The first value is less than the second value based on [`PartialOrd`].
pub fn lt<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 + PartialOrd,
{
    Fun2::infix("<", V::lt).eval_once(lhs, rhs)
}

/// The first value is less than or equal to the second value based on [`PartialOrd`].
pub fn le<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 + PartialOrd,
{
    Fun2::infix("<=", V::le).eval_once(lhs, rhs)
}

/// The first value is greater than the second value based on [`PartialOrd`].
pub fn gt<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 + PartialOrd,
{
    Fun2::infix(">", V::gt).eval_once(lhs, rhs)
}

/// The first value is greater than or equal to the second value based on [`PartialOrd`].
pub fn ge<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 + PartialOrd,
{
    Fun2::infix(">=", V::ge).eval_once(lhs, rhs)
}