Module proptest::strategy [−] [src]

Defines the core traits used by Proptest.

Structs

Filter	`Strategy` and `ValueTree` filter adaptor.
Flatten	Adaptor that flattens a `Strategy` which produces other `Strategy`s into a `Strategy` that picks one of those strategies and then picks values from it.
FlattenValueTree	The `ValueTree` produced by `Flatten`.
IndFlatten	Similar to `Flatten`, but does not shrink the input strategy.
IndFlattenMap	Similar to `Map` plus `Flatten`, but does not shrink the input strategy and passes the original input through.
Map	`Strategy` and `ValueTree` map adaptor.
NoShrink	Wraps a `Strategy` or `ValueTree` to suppress shrinking of generated values.
Recursive	Return type from `Strategy::prop_recursive()`.
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().