Module proptest::strategy [−] [src]

Defines the core traits used by Proptest.

Structs

Filter	`Strategy` and `ValueTree` filter adaptor.
Map	`Strategy` and `ValueTree` map adaptor.
Singleton	A `Strategy` which always produces the same value and never simplifies.
Union	A `Strategy` which picks from one of several delegate `Stragegy`s.
UnionValueTree	`ValueTree` corresponding to `Union`.

Strategy	A strategy for producing arbitrary values of a given type.
ValueTree	A generated value and its associated shrinker.

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