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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

use std::{fmt::Display, ops::Not};

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

/// Logical negation.
pub fn not<L>(b: Eval<L, bool>) -> Eval<Fun1Label<'static, L>, bool>
where
    L: Display + Copy,
{
    Fun1::new("!", bool::not).eval_once(b)
}

/// Logical conjunction.
pub fn and<L1, L2>(
    lhs: Eval<L1, bool>,
    rhs: Eval<L2, bool>,
) -> Eval<Fun2Label<'static, L1, L2>, bool>
where
    L1: Display + Copy,
    L2: Display + Copy,
{
    Fun2::infix("&&", |l, r| l && r).eval_once(lhs, rhs)
}

/// Logical disjunction.
pub fn or<L1, L2>(
    lhs: Eval<L1, bool>,
    rhs: Eval<L2, bool>,
) -> Eval<Fun2Label<'static, L1, L2>, bool>
where
    L1: Display + Copy,
    L2: Display + Copy,
{
    Fun2::infix("||", |l, r| l || r).eval_once(lhs, rhs)
}

/// Logical implication.
pub fn implies<L1, L2>(
    antecedent: Eval<L1, bool>,
    consequent: Eval<L2, bool>,
) -> Eval<Fun2Label<'static, L1, L2>, bool>
where
    L1: Display + Copy,
    L2: Display + Copy,
{
    Fun2::infix("-->", |a: bool, c| !a || c).eval_once(antecedent, consequent)
}

/// Logical equivalence.
pub fn iff<L1, L2>(
    lhs: Eval<L1, bool>,
    rhs: Eval<L2, bool>,
) -> Eval<Fun2Label<'static, L1, L2>, bool>
where
    L1: Display + Copy,
    L2: Display + Copy,
{
    Fun2::infix("<->", |l, r| l == r).eval_once(lhs, rhs)
}