object Gens

Provides generators for data types from _ZIO Prelude_.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Gens
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. val anyNatural: Gen[Random, Natural]

    A generator of natural numbers.

    A generator of natural numbers. Shrinks toward '0'.

  2. def natural(min: Natural, max: Natural): Gen[Random, Natural]

    A generator of natural numbers inside the specified range: [start, end].

    A generator of natural numbers inside the specified range: [start, end]. The shrinker will shrink toward the lower end of the range ("smallest").

  3. def nonEmptyListOf[R <: Random with Sized, A](a: Gen[R, A]): Gen[R, NonEmptyList[A]]

    A generator of NonEmptyList values.

  4. def nonEmptyMultiSetOf[R <: Random with Sized, A](a: Gen[R, A]): Gen[R, NonEmptyMultiSet[A]]

    A generator of NonEmptyMultiSet values.

  5. def nonEmptySetOf[R <: Random with Sized, A](a: Gen[R, A]): Gen[R, NonEmptySet[A]]

    A generator of NonEmptySet values.

  6. def parSeq[R <: Random with Sized, Z <: Unit, A](z: Gen[R, Z], a: Gen[R, A]): Gen[R, ParSeq[Z, A]]
  7. def state[R, S, A](s: Gen[R, S], a: Gen[R, A]): Gen[R, State[S, A]]

    A generator of state transition functions.

  8. def these[R <: Random with Sized, A, B](a: Gen[R, A], b: Gen[R, B]): Gen[R, These[A, B]]

    A generator of These values.

  9. def validation[R <: Random with Sized, W, E, A](w: Gen[R, W], e: Gen[R, E], a: Gen[R, A]): Gen[R, ZValidation[W, E, A]]

    A generator of Validation values.