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.
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 |
Traits
Strategy |
A strategy for producing arbitrary values of a given type. |
Type Definitions
BoxedStrategy |
Shorthand for a boxed |