GenF

zio.test.laws.GenF
See theGenF companion object
trait GenF[-R, F[_]]

A GenF knows how to construct a generator of F[A] values given a generator of A values for any A. For example, a GenF of List values knows how to generate lists with elements given a generator of elements of that type. You can think of GenF as a "recipe" for building generators for parameterized types.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

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

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

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

Attributes