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 symbolic alias for zip.
A symbolic alias for zip.
(Since version 2.0.0) use <*>
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.
(Since version 2.0.0) use zip
Composes this sample with the specified sample to create a cartesian product of values and shrinkings with the specified function.
Composes this sample with the specified sample to create a cartesian product of values and shrinkings with the specified function.
(Since version 2.0.0) use zipWith
A sample is a single observation from a random variable, together with a tree of "shrinkings" used for minimization of "large" failures.