GenZIO

zio.test.GenZIO
trait GenZIO

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Gen.type

Members list

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

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes

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.

Attributes