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

//! A collection of operations on [`Eval`] that are useful for writing properties.
//!
//! These operations will log their arguments and result via [`dicetest::hints`].
//!
//! [`Eval`]: crate::Eval

mod logic;
pub use logic::*;

mod eq;
pub use eq::*;

mod ord;
pub use ord::*;

mod assert;
pub use assert::*;