dicetest 0.4.0

Framework for writing tests with randomly generated test data
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

use std::fmt::Debug;

use crate::prelude::*;

/// Asserts that `g` is a left inverse for `f`.
pub fn left_inverse<X, Y>(
    mut fate: Fate,
    x_die: impl DieOnce<X>,
    f: impl FnOnce(X) -> Y,
    g: impl FnOnce(Y) -> X,
) where
    X: Debug + Clone + PartialEq,
{
    let x = fate.roll(x_die);
    let y = f(x.clone());
    let other_x = g(y);

    assert_eq!(x, other_x)
}

/// Asserts that `h` is a right inverse for `f`.
pub fn right_inverse<X, Y>(
    mut fate: Fate,
    y_die: impl DieOnce<Y>,
    f: impl FnOnce(X) -> Y,
    h: impl FnOnce(Y) -> X,
) where
    Y: Debug + Clone + PartialEq,
{
    let y = fate.roll(y_die);
    let x = h(y.clone());
    let other_y = f(x);

    assert_eq!(y, other_y)
}