proptest-arbitrary 0.2.2

The Arbitrary trait for proptest and implementations for the standard library.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

//! Arbitrary implementations for `std::result`.
//! 
use super::*;
use std::result::IntoIter;
use proptest::result;

// We assume that `MaybeOk` is canonical as it's the most likely Strategy
// a user wants.

arbitrary!([A: Arbitrary<'a>, B: Arbitrary<'a>] Result<A, B>,
    result::MaybeOk<A::Strategy, B::Strategy>,
    product_type![Probability, A::Parameters, B::Parameters];
    args => {
        let product_unpack![prob, a, b] = args;
        let (p, a, b) = (prob.into(), any_with::<A>(a), any_with::<B>(b));
        result::maybe_ok_weighted(p, a, b)
    }
);

arbitrary!([A: Arbitrary<'a>] IntoIter<A>,
    SMapped<'a, Result<A, ()>, Self>,
    <Result<A, ()> as Arbitrary<'a>>::Parameters;
    args => any_with_smap(args, Result::into_iter)
);

#[cfg(test)]
mod test {
    no_panic_test!(
        result    => Result<u8, u16>,
        into_iter => IntoIter<u8>
    );
}