GenF2

zio.test.laws.GenF2
See theGenF2 companion object
trait GenF2[-R, F[_, _]]

A GenF knows how to construct a generator of F[A,B] values given a generator of A and generator of B values. For example, a GenF2 of Function1 values knows how to generate functions A => B with elements given a generator of elements of that type B.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def apply[R1 <: R, A, B](gen: Gen[R1, B])(implicit trace: Trace): Gen[R1, F[A, B]]

Construct a generator of F[A,B] values given a generator of B values.

Construct a generator of F[A,B] values given a generator of B values.

Attributes