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
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
Re-exports the entire public API of proptest so that an import of
Configuration for how a proptest test should be run.
Errors which can be returned from test cases to indicate non-successful completion.
Arbitrary determines a canonical
An automatically-implemented extension trait on
The core of a random number generator.
A strategy for producing arbitrary values of a given type.