A symbolic alias for zip
.
Filters this sample by replacing it with its shrink tree if the value does not meet the specified predicate and recursively filtering the shrink tree.
Converts the shrink tree into a stream of shrinkings by recursively searching the shrink tree, using the specified function to determine whether a value is a failure.
Converts the shrink tree into a stream of shrinkings by recursively searching the shrink tree, using the specified function to determine whether a value is a failure. The resulting stream will contain all values explored, regardless of whether they are successes or failures.
Composes this sample with the specified sample to create a cartesian product of values and shrinkings.
Composes this sample with the specified sample to create a cartesian product of values and shrinkings with the specified function.
A sample is a single observation from a random variable, together with a tree of "shrinkings" used for minimization of "large" failures.