proptest-arbitrary 0.2.0

The Arbitrary trait for proptest and implementations for the standard library. 
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

//==============================================================================
// 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_for!([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_for!([A: Arbitrary<'a>] IntoIter<A>,
    SMapped<'a, Result<A, ()>, Self>,
    <Result<A, ()> as Arbitrary<'a>>::Parameters,
    args => any_with_smap(args, Result::into_iter)
);