Function im::proptest::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);
    }
}