pub trait ArbitraryF1<A: Debug>: Debug + Sized {
type Parameters: Default;
// Required method
fn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static;
// Provided method
fn lift1<AS>(base: AS) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static { ... }
}Expand description
ArbitraryF1 lets you lift a Strategy to unary
type constructors such as Box, Vec, and Option.
The trait corresponds to
Haskell QuickCheck’s Arbitrary1 type class.
Required Associated Types§
Sourcetype Parameters: Default
type Parameters: Default
The type of parameters that lift1_with accepts for
configuration of the lifted and generated Strategy. Parameters
must implement Default.
Required Methods§
Sourcefn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>where
AS: Strategy<Value = A> + 'static,
fn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>where
AS: Strategy<Value = A> + 'static,
Provided Methods§
Sourcefn lift1<AS>(base: AS) -> BoxedStrategy<Self>where
AS: Strategy<Value = A> + 'static,
fn lift1<AS>(base: AS) -> BoxedStrategy<Self>where
AS: Strategy<Value = A> + 'static,
Lifts a given Strategy to a new Strategy for the (presumably)
bigger type. This is useful for lifting a Strategy for SomeType
to a container such as Vec<SomeType>.
Calling this for the type X is the equivalent of using
X::lift1_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.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.