pub trait ArbitraryF2<A: Debug, B: Debug>: Debug + Sized {
type Parameters: Default;
// Required method
fn lift2_with<AS, BS>(
fst: AS,
snd: BS,
args: Self::Parameters,
) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static,
BS: Strategy<Value = B> + 'static;
// Provided method
fn lift2<AS, BS>(fst: AS, snd: BS) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static,
BS: Strategy<Value = B> + 'static { ... }
}
Expand description
ArbitraryF2
lets you lift Strategy
to binary
type constructors such as Result
, HashMap
.
The trait corresponds to
Haskell QuickCheck’s Arbitrary2
type class.
Required Associated Types§
sourcetype Parameters: Default
type Parameters: Default
The type of parameters that lift2_with
accepts for
configuration of the lifted and generated Strategy
. Parameters
must implement Default
.
Required Methods§
sourcefn lift2_with<AS, BS>(
fst: AS,
snd: BS,
args: Self::Parameters,
) -> BoxedStrategy<Self>
fn lift2_with<AS, BS>( fst: AS, snd: BS, args: Self::Parameters, ) -> BoxedStrategy<Self>
Lifts two given strategies to a new Strategy
for the (presumably)
bigger type. This is useful for lifting a Strategy
for Type1
and one for Type2
to a container such as HashMap<Type1, Type2>
.
The composite strategy is passed the arguments given in args
.
If you wish to use the default()
arguments,
use lift2
instead.
Provided Methods§
sourcefn lift2<AS, BS>(fst: AS, snd: BS) -> BoxedStrategy<Self>
fn lift2<AS, BS>(fst: AS, snd: BS) -> BoxedStrategy<Self>
Lifts two given strategies to a new Strategy
for the (presumably)
bigger type. This is useful for lifting a Strategy
for Type1
and one for Type2
to a container such as HashMap<Type1, Type2>
.
Calling this for the type X
is the equivalent of using
X::lift2_with(base, Default::default())
.
This method is defined in the trait for optimization for the default if you want to do that. It is a logic error to not preserve the semantics when overriding.