zio-test
API
Generated with
zio-test/zio.test/Sample

Sample

zio.test.Sample
See theSample companion object
final case class Sample[-R, +A](value: A, shrink: ZStream[R, Nothing, Sample[R, A]])

A sample is a single observation from a random variable, together with a tree of "shrinkings" used for minimization of "large" failures.

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
Sample[R, A]

Members list

Concise view

Value members

Concrete methods

def <*>[R1 <: R, B](that: Sample[R1, B])(implicit zippable: Zippable[A, B], trace: Trace): Sample[R1, Out]

A symbolic alias for zip.

A symbolic alias for zip.

Attributes

def filter(f: A => Boolean)(implicit trace: Trace): ZStream[R, Nothing, Sample[R, A]]

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.

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.

Attributes

def flatMap[R1 <: R, B](f: A => Sample[R1, B])(implicit trace: Trace): Sample[R1, B]
def foreach[R1 <: R, B](f: A => ZIO[R1, Nothing, B])(implicit trace: Trace): ZIO[R1, Nothing, Sample[R1, B]]
def map[B](f: A => B)(implicit trace: Trace): Sample[R, B]
def shrinkSearch(f: A => Boolean)(implicit trace: Trace): ZStream[R, Nothing, A]

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.

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.

Attributes

def zip[R1 <: R, B](that: Sample[R1, B])(implicit zippable: Zippable[A, B], trace: Trace): Sample[R1, Out]

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.

Attributes

def zipWith[R1 <: R, B, C](that: Sample[R1, B])(f: (A, B) => C)(implicit trace: Trace): Sample[R1, C]

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.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with