Module strategy

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 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.

Traits

• 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.

Functions

• 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.

Type Aliases

• 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.