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 `prelude` allows simply writing, for example, `prop::num::i32::ANY` rather than `proptest::num::i32::ANY` plus a separate `use proptest;`.

Structs

Just	A `Strategy` which always produces a single value value and never simplifies.

Traits

Strategy

A strategy for producing arbitrary values of a given type.

Type Definitions

BoxedStrategy

Shorthand for a boxed Strategy trait object as produced by Strategy::boxed().