Module 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;.

Modules

arbitrary

Defines the Arbitrary trait and related free functions and type aliases.

array

Support for strategies producing fixed-length arrays.

bits

Strategies for working with bit sets.

bool

Strategies for generating bool values.

char

Strategies for generating char values.

collection

Strategies for generating std::collections of values.

num

Strategies to generate numeric values (as opposed to integers used as bit fields).

option

Strategies for generating std::Option values.

result

Strategies for combining delegate strategies into std::Results.

sample

Strategies for generating values by taking samples of collections.

strategy

Defines the core traits used by Proptest.

string

Strategies for generating strings and byte strings from regular expressions.

test_runner

State and functions for running proptest tests.

tuple

Support for combining strategies into tuples.