im_rc::proptest

Function ord_set

Source 
pub fn ord_set<A: Strategy + 'static>(
    element: A,
    size: Range<usize>,
) -> BoxedStrategy<OrdSet<<A::Tree as ValueTree>::Value>>
where
    <A::Tree as ValueTree>::Value: Ord + Clone,
Expand description

A strategy for an OrdSet of a given size.

ยงExamples

proptest! {
    #[test]
    fn proptest_a_set(ref s in ord_set(".*", 10..100)) {
        assert!(s.len() < 100);
        assert!(s.len() >= 10);
    }
}