Module proptest::strategy [−][src]
Defines the core traits used by Proptest.
Modules
statics |
Modified versions of the normal strategy combinators which take specialised traits instead of normal functions. |
Structs
BoxedStrategy |
A boxed |
CheckStrategySanityOptions |
Options passed to |
Filter |
|
FilterMap |
|
FilterMapValueTree |
|
Flatten |
Adaptor that flattens a |
FlattenValueTree |
The |
Fuse |
Adaptor for |
IndFlatten |
Similar to |
IndFlattenMap |
Similar to |
Just |
A |
LazyJust |
A |
Map |
|
MapInto |
|
NoShrink |
Wraps a |
Perturb |
|
PerturbValueTree |
|
Recursive |
Return type from |
SBoxedStrategy |
A boxed |
Shuffle |
|
ShuffleValueTree |
|
TupleUnion |
Similar to |
TupleUnionValueTree |
|
Union |
A |
UnionValueTree |
|
Traits
Shuffleable |
A value which can be used with the |
Strategy |
A strategy for producing arbitrary values of a given type. |
ValueTree |
A generated value and its associated shrinker. |
Functions
check_strategy_sanity |
Run some tests on the given |
float_to_weight |
Convert a floating-point weight in the range (0.0,1.0) to a pair of weights
that can be used with |
Type Definitions
LazyJustFn |
Shorthand for |
NewTree |
A new |
ValueFor |
[ Deprecated ] The value that functions under test use for a particular |
W |
A relative |