zio.test.laws
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.
GenF
F[A,B]
A
B
GenF2
Function1
Construct a generator of F[A,B] values given a generator of B values.
A
GenF
knows how to construct a generator ofF[A,B]
values given a generator ofA
and generator ofB
values. For example, aGenF2
ofFunction1
values knows how to generate functions A => B with elements given a generator of elements of that typeB
.