Defines the core traits used by Proptest.
| statics | Modified versions of the normal strategy combinators which take specialised
traits instead of normal functions.
|
| BoxedStrategy | A boxed Strategy trait object as produced by Strategy::boxed().
|
| CheckStrategySanityOptions | Options passed to check_strategy_sanity().
|
| Filter | Strategy and ValueTree filter adaptor.
|
| FilterMap | Strategy and ValueTree filter_map adaptor.
|
| FilterMapValueTree | ValueTree corresponding to FilterMap.
|
| Flatten | Adaptor that flattens a Strategy which produces other Strategys 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.
|
| LazyJust | A Strategy which always produces a single value value and never
simplifies. If T is Clone, you should use Just instead.
|
| LazyValueTree | Represents a value tree that is initialized on the first call to any
methods.
|
| Map | Strategy and ValueTree map adaptor.
|
| MapInto | Strategy and ValueTree map into 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().
|
| SBoxedStrategy | A boxed Strategy trait object which is also Sync and
Send, as produced by Strategy::sboxed().
|
| Shuffle | Strategy shuffle adaptor.
|
| ShuffleValueTree | ValueTree shuffling adaptor.
|
| 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 Stragegys.
|
| 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.
|
| LazyJustFn | Shorthand for LazyJust<T, fn () -> T>.
|
| NewTree | A new ValueTree from a Strategy when Ok or otherwise Err
when a new value-tree can not be produced for some reason such as
in the case of filtering with a predicate which always returns false.
You should pass in your strategy as the type parameter.
|
| W | A relative weight of a particular Strategy corresponding to T
coupled with T itself. The weight is currently given in u32.
|
| WA | A relative weight of a particular Strategy corresponding to T
coupled with Arc<T>. The weight is currently given in u32.
|