Module proptest::prelude
[−]
[src]
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.
Reexports
pub use test_runner::Config as ProptestConfig; |
pub use test_runner::TestCaseError; |
Modules
prop |
Re-exports the entire public API of proptest so that an import of |
Structs
Just |
A |
XorShiftRng |
An Xorshift[1] random number generator. |
Traits
Rng |
A random number generator. |
Strategy |
A strategy for producing arbitrary values of a given type. |
Type Definitions
BoxedStrategy |
Shorthand for a boxed |
SBoxedStrategy |
Shorthand for a boxed |