Module zebra_test::prelude::prop

Re-exports the entire public API of proptest so that an import of prelude allows simply writing, for example, prop::num::i32::ANY rather than proptest::num::i32::ANY plus a separate use proptest;.

Modules

• arbitrary
  Defines the Arbitrary trait and related free functions and type aliases.
• array
  Support for strategies producing fixed-length arrays.
• bits
  Strategies for working with bit sets.
• bool
  Strategies for generating bool values.
• char
  Strategies for generating char values.
• collection
  Strategies for generating std::collections of values.
• num
  Strategies to generate numeric values (as opposed to integers used as bit fields).
• option
  Strategies for generating std::Option values.
• result
  Strategies for combining delegate strategies into std::Results.
• sample
  Strategies for generating values by taking samples of collections.
• strategy
  Defines the core traits used by Proptest.
• string
  Strategies for generating strings and byte strings from regular expressions.
• test_runner
  State and functions for running proptest tests.
• tuple
  Support for combining strategies into tuples.