zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.laws/GenFs

GenFs

zio.prelude.laws.GenFs
object GenFs

Provides higher kinded generators.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
GenFs.type

Members list

Value members

Concrete methods

def either[R <: Sized, E](e: Gen[R, E]): GenF[R, { type lambda = [a] =>> Either[E, a]; }#<none>]
def exit[R <: Sized, E](e: Gen[R, Cause[E]]): GenF[R, { type lambda = [a] =>> Exit[E, a]; }#<none>]

A generator of Exit values.

A generator of Exit values.

Attributes

def map[R <: Sized, K](k: Gen[R, K]): GenF[R, { type lambda = [v] =>> Map[K, v]; }#<none>]
def nonEmptyChunk: GenF[Sized, NonEmptyChunk]

A generator of NonEmptyChunk values.

A generator of NonEmptyChunk values.

Attributes

def parSeq[R <: Sized, Z <: Unit](z: Gen[R, Z]): GenF[R, { type lambda = [x] =>> ParSeq[Z, x]; }#<none>]

A generator of ParSeq values.

A generator of ParSeq values.

Attributes

def these[R <: Sized, A](a: Gen[R, A]): GenF[R, { type lambda = [b] =>> These[A, b]; }#<none>]
def tuple2[R <: Sized, A](a: Gen[R, A]): GenF[R, { type lambda = [x] =>> (A, x); }#<none>]
def tuple3[R <: Sized, A, B](a: Gen[R, A], b: Gen[R, B]): GenF[R, { type lambda = [c] =>> (A, B, c); }#<none>]
def validation[R <: Sized, W, E](w: Gen[R, W], e: Gen[R, E]): GenF[R, { type lambda = [x] =>> ZValidation[W, E, x]; }#<none>]
def validationFailure[R <: Sized, W, A](w: Gen[R, W], a: Gen[R, A]): GenF[R, { type lambda = [x] =>> newtypeF.Type[ZValidation[W, x, A]]; }#<none>]

Concrete fields

val cause: GenF[Sized, Cause]

A generator of failed Cause values.

A generator of failed Cause values.

Attributes

val future: GenF[Sized, Future]

A generator of Future values.

A generator of Future values.

Attributes

val tryScala: GenF[Sized, Try]

A generator of Try values.

A generator of Try values.

Attributes

Generated with