[][src]Function im::proptest::ord_set

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

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);
    }
}