im_rc::proptest

Function ord_map

Source 
pub fn ord_map<K: Strategy + 'static, V: Strategy + 'static>(
    key: K,
    value: V,
    size: Range<usize>,
) -> BoxedStrategy<OrdMap<<K::Tree as ValueTree>::Value, <V::Tree as ValueTree>::Value>>
where
    <K::Tree as ValueTree>::Value: Ord + Clone,
    <V::Tree as ValueTree>::Value: Clone,
Expand description

A strategy for an OrdMap of a given size.

ยงExamples

proptest! {
    #[test]
    fn proptest_works(ref m in ord_map(0..9999, ".*", 10..100)) {
        assert!(m.len() < 100);
        assert!(m.len() >= 10);
    }
}