Module proptest::strategy [−] [src]

Defines the core traits used by Proptest.

Modules

Modified versions of the normal strategy combinators which take specialised traits instead of normal functions.

CheckStrategySanityOptions	Options passed to `check_strategy_sanity()`.
Filter	`Strategy` and `ValueTree` filter adaptor.
Flatten	Adaptor that flattens a `Strategy` which produces other `Strategy`s into a `Strategy` that picks one of those strategies and then picks values from it.
FlattenValueTree	The `ValueTree` produced by `Flatten`.
Fuse	Adaptor for `Strategy` and `ValueTree` which guards `simplify()` and `complicate()` to avoid contract violations.
IndFlatten	Similar to `Flatten`, but does not shrink the input strategy.
IndFlattenMap	Similar to `Map` plus `Flatten`, but does not shrink the input strategy and passes the original input through.
Just	A `Strategy` which always produces a single value value and never simplifies.
Map	`Strategy` and `ValueTree` map adaptor.
NoShrink	Wraps a `Strategy` or `ValueTree` to suppress shrinking of generated values.
Perturb	`Strategy` perturbation adaptor.
PerturbValueTree	`ValueTree` perturbation adaptor.
Recursive	Return type from `Strategy::prop_recursive()`.
Shuffle	`Strategy` shuffle adaptor.
ShuffleValueTree	`ValueTree` shuffling adaptor.
Singleton	A `Strategy` which always produces a single value value and never simplifies.
TupleUnion	Similar to `Union`, but internally uses a tuple to hold the strategies.
TupleUnionValueTree	`ValueTree` type produced by `TupleUnion`.
Union	A `Strategy` which picks from one of several delegate `Stragegy`s.
UnionValueTree	`ValueTree` corresponding to `Union`.

Shuffleable	A value which can be used with the `prop_shuffle` combinator.
Strategy	A strategy for producing arbitrary values of a given type.
ValueTree	A generated value and its associated shrinker.

check_strategy_sanity	Run some tests on the given `Strategy` to ensure that it upholds the simplify/complicate contracts.
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 `Union` and similar.

BoxedStrategy	Shorthand for a boxed `Strategy` trait object as produced by `Strategy::boxed()`.
SBoxedStrategy	Shorthand for a boxed `Strategy` trait object which is also `Sync` and `Send`, as produced by `Strategy::sboxed()`.
ValueFor	The value that functions under test use for a particular `Strategy`.
W	A relative `weight` of a particular `Strategy` corresponding to `T` coupled with `T` itself. The weight is currently given in `u32`.