Module prelude

Re-exports the most commonly-needed APIs of proptest.

This module is intended to be wildcard-imported, i.e., use proptest::prelude::*;. Note that it re-exports the whole crate itself under the name prop, so you don’t need a separate use proptest; line.

In addition to Proptest’s own APIs, this also reexports a small portion of the rand crate sufficient to easily use prop_perturb and other functionality that exposes random number generators. Please note that this is will always be a direct reexport; using these in preference to using the rand crate directly will not provide insulation from the upcoming revision to the rand crate.

Re-exports

• pub use crate::arbitrary::any;
• pub use crate::arbitrary::any_with;
• pub use crate::arbitrary::Arbitrary;
• pub use crate::strategy::BoxedStrategy;
• pub use crate::strategy::Just;
• pub use crate::strategy::SBoxedStrategy;
• pub use crate::strategy::Strategy;
• pub use crate::test_runner::Config as ProptestConfig;
• pub use crate::test_runner::TestCaseError;

Modules

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

Macros

• prop_assert
  Similar to assert! from std, but returns a test failure instead of panicking if the condition fails.
• prop_assert_eq
  Similar to assert_eq! from std, but returns a test failure instead of panicking if the condition fails.
• prop_assert_ne
  Similar to assert_ne! from std, but returns a test failure instead of panicking if the condition fails.
• prop_assume
  Rejects the test input if assumptions are not met.
• prop_compose
  Convenience to define functions which produce new strategies.
• prop_oneof
  Produce a strategy which picks one of the listed choices.
• proptest
  Easily define proptest tests.

Traits

• Rng
  An automatically-implemented extension trait on RngCore providing high-level generic methods for sampling values and other convenience methods.
• RngCore
  The core of a random number generator.