Module zebra_test::prelude::prop::strategy

Expand description

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.