proptest_arbitrary/_std/cmp.rs
1//! Arbitrary implementations for `std::cmp`.
2
3use super::*;
4use std::cmp::{Reverse, Ordering};
5use self::Ordering::*;
6
7wrap_ctor!(Reverse, Reverse);
8
9type WJO = W<Just<Ordering>>;
10arbitrary!(cmp::Ordering, TupleUnion<(WJO, WJO, WJO)>;
11 prop_oneof![Just(Equal), Just(Less), Just(Greater)]
12);
13
14#[cfg(test)]
15mod test {
16 no_panic_test!(
17 reverse => Reverse<u8>,
18 ordering => Ordering
19 );
20}