zio-test/zio.test/GenZIO

GenZIO

trait GenZIO
class Object
trait Matchable
class Any
object Gen.type

Value members

Concrete methods

final def causes[R, E](e: Gen[R, E], t: Gen[R, Throwable])(implicit trace: Trace): Gen[R, Cause[E]]

A generator of Cause values

A generator of Cause values

final def chained[R, Env, E, A](gen: Gen[R, ZIO[Env, E, A]])(implicit trace: Trace): Gen[R, ZIO[Env, E, A]]

A generator of effects that are the result of chaining the specified effect with itself a random number of times.

A generator of effects that are the result of chaining the specified effect with itself a random number of times.

final def chainedN[R, Env, E, A](n: Int)(zio: Gen[R, ZIO[Env, E, A]])(implicit trace: Trace): Gen[R, ZIO[Env, E, A]]

A generator of effects that are the result of chaining the specified effect with itself a given number of times.

A generator of effects that are the result of chaining the specified effect with itself a given number of times.

final def concurrent[R, E, A](zio: ZIO[R, E, A])(implicit trace: Trace): Gen[Any, ZIO[R, E, A]]

A generator of effects that are the result of applying concurrency combinators to the specified effect that are guaranteed not to change its value.

A generator of effects that are the result of applying concurrency combinators to the specified effect that are guaranteed not to change its value.

final def died[R](gen: Gen[R, Throwable])(implicit trace: Trace): Gen[R, UIO[Nothing]]

A generator of effects that have died with a Throwable.

A generator of effects that have died with a Throwable.

final def failures[R, E](gen: Gen[R, E])(implicit trace: Trace): Gen[R, IO[E, Nothing]]

A generator of effects that have failed with an error.

A generator of effects that have failed with an error.

final def parallel[R, E, A](zio: ZIO[R, E, A])(implicit trace: Trace): Gen[Any, ZIO[R, E, A]]

A generator of effects that are the result of applying parallelism combinators to the specified effect that are guaranteed not to change its value.

A generator of effects that are the result of applying parallelism combinators to the specified effect that are guaranteed not to change its value.

final def successes[R, A](gen: Gen[R, A])(implicit trace: Trace): Gen[R, UIO[A]]

A generator of successful effects.

A generator of successful effects.