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.
Modules
prop |
Re-exports the entire public API of proptest so that an import of |
Structs
BoxedStrategy |
A boxed |
Just |
A |
ProptestConfig |
Configuration for how a proptest test should be run. |
SBoxedStrategy |
A boxed |
Enums
TestCaseError |
Errors which can be returned from test cases to indicate non-successful completion. |
Traits
Arbitrary |
Arbitrary determines a canonical |
Rng |
An automatically-implemented extension trait on |
RngCore |
The core of a random number generator. |
Strategy |
A strategy for producing arbitrary values of a given type. |
Functions
any |
Generates a |
any_with |
Generates a |