Gen

zio.test.Gen
See theGen companion class

Attributes

Companion
class
Source
Gen.scala
Graph
Supertypes
trait Product
trait Mirror
trait TimeVariants
trait GenZIO
class Object
trait Matchable
class Any
Show all
Self type
Gen.type

Members list

Type members

Inherited and Abstract types

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source
Mirror.scala

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def alphaChar(implicit trace: Trace): Gen[Any, Char]

A generator of alpha characters.

A generator of alpha characters.

Attributes

Source
Gen.scala
def alphaNumericChar(implicit trace: Trace): Gen[Any, Char]

A generator of alphanumeric characters. Shrinks toward '0'.

A generator of alphanumeric characters. Shrinks toward '0'.

Attributes

Source
Gen.scala
def alphaNumericString(implicit trace: Trace): Gen[Any, String]

A generator of alphanumeric strings. Shrinks towards the empty string.

A generator of alphanumeric strings. Shrinks towards the empty string.

Attributes

Source
Gen.scala
def alphaNumericStringBounded(min: Int, max: Int)(implicit trace: Trace): Gen[Any, String]

A generator of alphanumeric strings whose size falls within the specified bounds.

A generator of alphanumeric strings whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def asciiChar(implicit trace: Trace): Gen[Any, Char]

A generator of US-ASCII characters. Shrinks toward '0'.

A generator of US-ASCII characters. Shrinks toward '0'.

Attributes

Source
Gen.scala
def asciiString(implicit trace: Trace): Gen[Any, String]

A generator US-ASCII strings. Shrinks towards the empty string.

A generator US-ASCII strings. Shrinks towards the empty string.

Attributes

Source
Gen.scala
def bigDecimal(min: BigDecimal, max: BigDecimal)(implicit trace: Trace): Gen[Any, BigDecimal]

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

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

The values generated will have a precision equal to the precision of the difference between max and min.

Attributes

Source
Gen.scala
def bigDecimalJava(min: BigDecimal, max: BigDecimal)(implicit trace: Trace): Gen[Any, BigDecimal]

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

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

The values generated will have a precision equal to the precision of the difference between max and min.

Attributes

See also

See bigDecimal for implementation.

Source
Gen.scala
def bigInt(min: BigInt, max: BigInt)(implicit trace: Trace): Gen[Any, BigInt]

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

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

Attributes

Source
Gen.scala
def bigIntegerJava(min: BigInt, max: BigInt)(implicit trace: Trace): Gen[Any, BigInteger]

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

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

Attributes

See also

See bigInt for implementation.

Source
Gen.scala
def boolean(implicit trace: Trace): Gen[Any, Boolean]

A generator of booleans. Shrinks toward 'false'.

A generator of booleans. Shrinks toward 'false'.

Attributes

Source
Gen.scala
def bounded[R, A](min: Int, max: Int)(f: Int => Gen[R, A])(implicit trace: Trace): Gen[R, A]

A generator whose size falls within the specified bounds.

A generator whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def byte(implicit trace: Trace): Gen[Any, Byte]

A generator of bytes. Shrinks toward '0'.

A generator of bytes. Shrinks toward '0'.

Attributes

Source
Gen.scala
def byte(min: Byte, max: Byte)(implicit trace: Trace): Gen[Any, Byte]

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

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

Attributes

Source
Gen.scala
def char(implicit trace: Trace): Gen[Any, Char]

A generator of characters. Shrinks toward '0'.

A generator of characters. Shrinks toward '0'.

Attributes

Source
Gen.scala
def char(min: Char, max: Char)(implicit trace: Trace): Gen[Any, Char]

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

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

Attributes

Source
Gen.scala
def chunkOf[R, A](g: Gen[R, A])(implicit trace: Trace): Gen[R, Chunk[A]]

A sized generator of chunks.

A sized generator of chunks.

Attributes

Source
Gen.scala
def chunkOf1[R, A](g: Gen[R, A])(implicit trace: Trace): Gen[R, NonEmptyChunk[A]]

A sized generator of non-empty chunks.

A sized generator of non-empty chunks.

Attributes

Source
Gen.scala
def chunkOfBounded[R, A](min: Int, max: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, Chunk[A]]

A generator of chunks whose size falls within the specified bounds.

A generator of chunks whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def chunkOfN[R, A](n: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, Chunk[A]]

A generator of chunks of the specified size.

A generator of chunks of the specified size.

Attributes

Source
Gen.scala
def collectAll[R, A](gens: Iterable[Gen[R, A]])(implicit trace: Trace): Gen[R, List[A]]

Composes the specified generators to create a cartesian product of elements with the specified function.

Composes the specified generators to create a cartesian product of elements with the specified function.

Attributes

Source
Gen.scala
def concatAll[R, A](gens: => Iterable[Gen[R, A]])(implicit trace: Trace): Gen[R, A]

Combines the specified deterministic generators to return a new deterministic generator that generates all of the values generated by the specified generators.

Combines the specified deterministic generators to return a new deterministic generator that generates all of the values generated by the specified generators.

Attributes

Source
Gen.scala
def const[A](a: => A)(implicit trace: Trace): Gen[Any, A]

A constant generator of the specified value.

A constant generator of the specified value.

Attributes

Source
Gen.scala
def constSample[R, A](sample: => Sample[R, A])(implicit trace: Trace): Gen[R, A]

A constant generator of the specified sample.

A constant generator of the specified sample.

Attributes

Source
Gen.scala
def currency(implicit trace: Trace): Gen[Any, Currency]

A generator of currency.

A generator of currency.

Attributes

Source
Gen.scala
def double(implicit trace: Trace): Gen[Any, Double]

A generator of doubles. Shrinks toward '0'.

A generator of doubles. Shrinks toward '0'.

Attributes

Source
Gen.scala
def double(min: Double, max: Double)(implicit trace: Trace): Gen[Any, Double]

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

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

Attributes

Source
Gen.scala
def either[R, A, B](left: Gen[R, A], right: Gen[R, B])(implicit trace: Trace): Gen[R, Either[A, B]]

Attributes

Source
Gen.scala
def elements[A](as: A*)(implicit trace: Trace): Gen[Any, A]

Attributes

Source
Gen.scala
def empty(implicit trace: Trace): Gen[Any, Nothing]

Attributes

Source
Gen.scala
def exponential(implicit trace: Trace): Gen[Any, Double]

A generator of exponentially distributed doubles with mean 1. The shrinker will shrink toward 0.

A generator of exponentially distributed doubles with mean 1. The shrinker will shrink toward 0.

Attributes

Source
Gen.scala
def float(implicit trace: Trace): Gen[Any, Float]

A generator of floats. Shrinks toward '0'.

A generator of floats. Shrinks toward '0'.

Attributes

Source
Gen.scala
def fromIterable[R, A](as: Iterable[A], shrinker: A => ZStream[R, Nothing, A] = ...)(implicit trace: Trace): Gen[R, A]

Constructs a deterministic generator that only generates the specified fixed values.

Constructs a deterministic generator that only generates the specified fixed values.

Attributes

Source
Gen.scala
final def fromRandom[A](f: Random => UIO[A])(implicit trace: Trace): Gen[Any, A]

Constructs a generator from a function that uses randomness. The returned generator will not have any shrinking.

Constructs a generator from a function that uses randomness. The returned generator will not have any shrinking.

Attributes

Source
Gen.scala
final def fromRandomSample[R, A](f: Random => UIO[Sample[R, A]])(implicit trace: Trace): Gen[R, A]

Constructs a generator from a function that uses randomness to produce a sample.

Constructs a generator from a function that uses randomness to produce a sample.

Attributes

Source
Gen.scala
def fromZIO[R, A](effect: URIO[R, A])(implicit trace: Trace): Gen[R, A]

Constructs a generator from an effect that constructs a value.

Constructs a generator from an effect that constructs a value.

Attributes

Source
Gen.scala
def fromZIOSample[R, A](effect: ZIO[R, Nothing, Sample[R, A]])(implicit trace: Trace): Gen[R, A]

Constructs a generator from an effect that constructs a sample.

Constructs a generator from an effect that constructs a sample.

Attributes

Source
Gen.scala
def hexChar(implicit trace: Trace): Gen[Any, Char]

A generator of hex chars(0-9,a-f,A-F).

A generator of hex chars(0-9,a-f,A-F).

Attributes

Source
Gen.scala
def hexCharLower(implicit trace: Trace): Gen[Any, Char]

A generator of lower hex chars(0-9, a-f).

A generator of lower hex chars(0-9, a-f).

Attributes

Source
Gen.scala
def hexCharUpper(implicit trace: Trace): Gen[Any, Char]

A generator of upper hex chars(0-9, A-F).

A generator of upper hex chars(0-9, A-F).

Attributes

Source
Gen.scala
def int(implicit trace: Trace): Gen[Any, Int]

A generator of integers. Shrinks toward '0'.

A generator of integers. Shrinks toward '0'.

Attributes

Source
Gen.scala
def int(min: Int, max: Int)(implicit trace: Trace): Gen[Any, Int]

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

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

Attributes

Source
Gen.scala
def iso_8859_1(implicit trace: Trace): Gen[Any, String]

A generator of strings that can be encoded in the ISO-8859-1 character set.

A generator of strings that can be encoded in the ISO-8859-1 character set.

Attributes

Source
Gen.scala
def large[R, A](f: Int => Gen[R, A], min: Int = ...)(implicit trace: Trace): Gen[R, A]

A sized generator that uses a uniform distribution of size values. A large number of larger sizes will be generated.

A sized generator that uses a uniform distribution of size values. A large number of larger sizes will be generated.

Attributes

Source
Gen.scala
def listOf[R, A](g: Gen[R, A])(implicit trace: Trace): Gen[R, List[A]]

A sized generator of lists.

A sized generator of lists.

Attributes

Source
Gen.scala
def listOf1[R, A](g: Gen[R, A])(implicit trace: Trace): Gen[R, ::[A]]

A sized generator of non-empty lists.

A sized generator of non-empty lists.

Attributes

Source
Gen.scala
def listOfBounded[R, A](min: Int, max: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, List[A]]

A generator of lists whose size falls within the specified bounds.

A generator of lists whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def listOfN[R, A](n: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, List[A]]

A generator of lists of the specified size.

A generator of lists of the specified size.

Attributes

Source
Gen.scala
def long(implicit trace: Trace): Gen[Any, Long]

A generator of longs. Shrinks toward '0'.

A generator of longs. Shrinks toward '0'.

Attributes

Source
Gen.scala
def long(min: Long, max: Long)(implicit trace: Trace): Gen[Any, Long]

A generator of long values in the specified range: [start, end]. The shrinker will shrink toward the lower end of the range ("smallest").

A generator of long values in the specified range: [start, end]. The shrinker will shrink toward the lower end of the range ("smallest").

Attributes

Source
Gen.scala
def mapOf[R, A, B](key: Gen[R, A], value: Gen[R, B])(implicit trace: Trace): Gen[R, Map[A, B]]

A sized generator of maps.

A sized generator of maps.

Attributes

Source
Gen.scala
def mapOf1[R, A, B](key: Gen[R, A], value: Gen[R, B])(implicit trace: Trace): Gen[R, Map[A, B]]

A sized generator of non-empty maps.

A sized generator of non-empty maps.

Attributes

Source
Gen.scala
def mapOfBounded[R, A, B](min: Int, max: Int)(key: Gen[R, A], value: Gen[R, B])(implicit trace: Trace): Gen[R, Map[A, B]]

A generator of maps whose size falls within the specified bounds.

A generator of maps whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def mapOfN[R, A, B](n: Int)(key: Gen[R, A], value: Gen[R, B])(implicit trace: Trace): Gen[R, Map[A, B]]

A generator of maps of the specified size.

A generator of maps of the specified size.

Attributes

Source
Gen.scala
def medium[R, A](f: Int => Gen[R, A], min: Int = ...)(implicit trace: Trace): Gen[R, A]

A sized generator that uses an exponential distribution of size values. The majority of sizes will be towards the lower end of the range but some larger sizes will be generated as well.

A sized generator that uses an exponential distribution of size values. The majority of sizes will be towards the lower end of the range but some larger sizes will be generated as well.

Attributes

Source
Gen.scala
def none(implicit trace: Trace): Gen[Any, Option[Nothing]]

A constant generator of the empty value.

A constant generator of the empty value.

Attributes

Source
Gen.scala
def numericChar(implicit trace: Trace): Gen[Any, Char]

A generator of numeric characters. Shrinks toward '0'.

A generator of numeric characters. Shrinks toward '0'.

Attributes

Source
Gen.scala
def oneOf[R, A](as: Gen[R, A]*)(implicit trace: Trace): Gen[R, A]

Attributes

Source
Gen.scala
def option[R, A](gen: Gen[R, A])(implicit trace: Trace): Gen[R, Option[A]]

A generator of optional values. Shrinks toward None.

A generator of optional values. Shrinks toward None.

Attributes

Source
Gen.scala
def partialFunction[R, A, B](gen: Gen[R, B])(implicit trace: Trace): Gen[R, PartialFunction[A, B]]

Constructs a generator of partial functions from A to B given a generator of B values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value or both be outside the partial function's domain, if they have the same hashCode.

Constructs a generator of partial functions from A to B given a generator of B values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value or both be outside the partial function's domain, if they have the same hashCode.

Attributes

Source
Gen.scala
def partialFunctionWith[R, A, B](gen: Gen[R, B])(hash: A => Int)(implicit trace: Trace): Gen[R, PartialFunction[A, B]]

Constructs a generator of partial functions from A to B given a generator of B values and a hashing function for A values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value or both be outside the partial function's domain, if they have have the same hash. This is useful when A does not implement hashCode in a way that is consistent with equality.

Constructs a generator of partial functions from A to B given a generator of B values and a hashing function for A values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value or both be outside the partial function's domain, if they have have the same hash. This is useful when A does not implement hashCode in a way that is consistent with equality.

Attributes

Source
Gen.scala
def printableChar(implicit trace: Trace): Gen[Any, Char]

A generator of printable characters. Shrinks toward '!'.

A generator of printable characters. Shrinks toward '!'.

Attributes

Source
Gen.scala
def setOf[R, A](gen: Gen[R, A])(implicit trace: Trace): Gen[R, Set[A]]

A sized generator of sets.

A sized generator of sets.

Attributes

Source
Gen.scala
def setOf1[R, A](gen: Gen[R, A])(implicit trace: Trace): Gen[R, Set[A]]

A sized generator of non-empty sets.

A sized generator of non-empty sets.

Attributes

Source
Gen.scala
def setOfBounded[R, A](min: Int, max: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, Set[A]]

A generator of sets whose size falls within the specified bounds.

A generator of sets whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def setOfN[R, A](n: Int)(gen: Gen[R, A])(implicit trace: Trace): Gen[R, Set[A]]

A generator of sets of the specified size.

A generator of sets of the specified size.

Attributes

Source
Gen.scala
def short(implicit trace: Trace): Gen[Any, Short]

A generator of shorts. Shrinks toward '0'.

A generator of shorts. Shrinks toward '0'.

Attributes

Source
Gen.scala
def short(min: Short, max: Short)(implicit trace: Trace): Gen[Any, Short]

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

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

Attributes

Source
Gen.scala
def size(implicit trace: Trace): Gen[Any, Int]

Attributes

Source
Gen.scala
def sized[R, A](f: Int => Gen[R, A])(implicit trace: Trace): Gen[R, A]

A sized generator, whose size falls within the specified bounds.

A sized generator, whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def small[R, A](f: Int => Gen[R, A], min: Int = ...)(implicit trace: Trace): Gen[R, A]

A sized generator that uses an exponential distribution of size values. The values generated will be strongly concentrated towards the lower end of the range but a few larger values will still be generated.

A sized generator that uses an exponential distribution of size values. The values generated will be strongly concentrated towards the lower end of the range but a few larger values will still be generated.

Attributes

Source
Gen.scala
def some[R, A](gen: Gen[R, A])(implicit trace: Trace): Gen[R, Option[A]]

Attributes

Source
Gen.scala
def string(implicit trace: Trace): Gen[Any, String]

A generator of strings. Shrinks towards the empty string.

A generator of strings. Shrinks towards the empty string.

Attributes

Source
Gen.scala
def string[R](char: Gen[R, Char])(implicit trace: Trace): Gen[R, String]

A sized generator of strings.

A sized generator of strings.

Attributes

Source
Gen.scala
def string1[R](char: Gen[R, Char])(implicit trace: Trace): Gen[R, String]

A sized generator of non-empty strings.

A sized generator of non-empty strings.

Attributes

Source
Gen.scala
def stringBounded[R](min: Int, max: Int)(g: Gen[R, Char])(implicit trace: Trace): Gen[R, String]

A generator of strings whose size falls within the specified bounds.

A generator of strings whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def stringN[R](n: Int)(char: Gen[R, Char])(implicit trace: Trace): Gen[R, String]

A generator of strings of the specified size.

A generator of strings of the specified size.

Attributes

Source
Gen.scala
def suspend[R, A](gen: => Gen[R, A])(implicit trace: Trace): Gen[R, A]

Lazily constructs a generator. This is useful to avoid infinite recursion when creating generators that refer to themselves.

Lazily constructs a generator. This is useful to avoid infinite recursion when creating generators that refer to themselves.

Attributes

Source
Gen.scala
def throwable(implicit trace: Trace): Gen[Any, Throwable]

A generator of throwables.

A generator of throwables.

Attributes

Source
Gen.scala
def unfoldGen[R, S, A](s: S)(f: S => Gen[R, (S, A)])(implicit trace: Trace): Gen[R, List[A]]

A sized generator of collections, where each collection is generated by repeatedly applying a function to an initial state.

A sized generator of collections, where each collection is generated by repeatedly applying a function to an initial state.

Attributes

Source
Gen.scala
def unfoldGenN[R, S, A](n: Int)(s: S)(f: S => Gen[R, (S, A)])(implicit trace: Trace): Gen[R, List[A]]

A generator of collections of up to the specified size, where each collection is generated by repeatedly applying a function to an initial state.

A generator of collections of up to the specified size, where each collection is generated by repeatedly applying a function to an initial state.

Attributes

Source
Gen.scala
def unicodeChar(implicit trace: Trace): Gen[Any, Char]

A generator of Unicode characters. Shrinks toward '0'.

A generator of Unicode characters. Shrinks toward '0'.

Attributes

Source
Gen.scala
def uniform(implicit trace: Trace): Gen[Any, Double]

A generator of uniformly distributed doubles between [0, 1]. The shrinker will shrink toward 0.

A generator of uniformly distributed doubles between [0, 1]. The shrinker will shrink toward 0.

Attributes

Source
Gen.scala
def unit(implicit trace: Trace): Gen[Any, Unit]

A constant generator of the unit value.

A constant generator of the unit value.

Attributes

Source
Gen.scala
def uuid(implicit trace: Trace): Gen[Any, UUID]

A generator of universally unique identifiers. The returned generator will not have any shrinking.

A generator of universally unique identifiers. The returned generator will not have any shrinking.

Attributes

Source
Gen.scala
def vectorOf[R, A](g: Gen[R, A])(implicit trace: Trace): Gen[R, Vector[A]]

A sized generator of vectors.

A sized generator of vectors.

Attributes

Source
Gen.scala
def vectorOf1[R, A](g: Gen[R, A])(implicit trace: Trace): Gen[R, Vector[A]]

A sized generator of non-empty vectors.

A sized generator of non-empty vectors.

Attributes

Source
Gen.scala
def vectorOfBounded[R, A](min: Int, max: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, Vector[A]]

A generator of vectors whose size falls within the specified bounds.

A generator of vectors whose size falls within the specified bounds.

Attributes

Source
Gen.scala
def vectorOfN[R, A](n: Int)(g: Gen[R, A])(implicit trace: Trace): Gen[R, Vector[A]]

A generator of vectors of the specified size.

A generator of vectors of the specified size.

Attributes

Source
Gen.scala
def weighted[R, A](gs: (Gen[R, A], Double)*)(implicit trace: Trace): Gen[R, A]

A generator which chooses one of the given generators according to their weights. For example, the following generator will generate 90% true and 10% false values.

A generator which chooses one of the given generators according to their weights. For example, the following generator will generate 90% true and 10% false values.

val trueFalse = Gen.weighted((Gen.const(true), 9), (Gen.const(false), 1))

Attributes

Source
Gen.scala
def whitespaceChars(implicit trace: Trace): Gen[Any, Char]

A generator of whitespace characters.

A generator of whitespace characters.

Attributes

Source
Gen.scala

Inherited methods

final def causes[R, E](e: Gen[R, E], t: Gen[R, Throwable])(implicit trace: Trace): Gen[R, Cause[E]]

A generator of Cause values

A generator of Cause values

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def chained[R, Env, E, A](gen: Gen[R, ZIO[Env, E, A]])(implicit trace: Trace): Gen[R, ZIO[Env, E, A]]

A generator of effects that are the result of chaining the specified effect with itself a random number of times.

A generator of effects that are the result of chaining the specified effect with itself a random number of times.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def chainedN[R, Env, E, A](n: Int)(zio: Gen[R, ZIO[Env, E, A]])(implicit trace: Trace): Gen[R, ZIO[Env, E, A]]

A generator of effects that are the result of chaining the specified effect with itself a given number of times.

A generator of effects that are the result of chaining the specified effect with itself a given number of times.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def concurrent[R, E, A](zio: ZIO[R, E, A])(implicit trace: Trace): Gen[Any, ZIO[R, E, A]]

A generator of effects that are the result of applying concurrency combinators to the specified effect that are guaranteed not to change its value.

A generator of effects that are the result of applying concurrency combinators to the specified effect that are guaranteed not to change its value.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def dayOfWeek(implicit trace: Trace): Gen[Any, DayOfWeek]

A generator of java.time.DayOfWeek values. Shrinks toward DayOfWeek.MONDAY.

A generator of java.time.DayOfWeek values. Shrinks toward DayOfWeek.MONDAY.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def died[R](gen: Gen[R, Throwable])(implicit trace: Trace): Gen[R, UIO[Nothing]]

A generator of effects that have died with a Throwable.

A generator of effects that have died with a Throwable.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def failures[R, E](gen: Gen[R, E])(implicit trace: Trace): Gen[R, IO[E, Nothing]]

A generator of effects that have failed with an error.

A generator of effects that have failed with an error.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def finiteDuration(min: Duration, max: Duration)(implicit trace: Trace): Gen[Any, Duration]

A generator of finite zio.duration.Duration values inside the specified range: [min, max]. Shrinks toward min.

A generator of finite zio.duration.Duration values inside the specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def finiteDuration(implicit trace: Trace): Gen[Any, Duration]

A generator of finite zio.duration.Duration values. Shrinks toward Duration.Zero.

A generator of finite zio.duration.Duration values. Shrinks toward Duration.Zero.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def function[R, A, B](gen: Gen[R, B])(implicit trace: Trace): Gen[R, A => B]

Constructs a generator of functions from A to B given a generator of B values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value, if they have the same hashCode.

Constructs a generator of functions from A to B given a generator of B values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value, if they have the same hashCode.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def function2[R, A, B, C](gen: Gen[R, C])(implicit trace: Trace): Gen[R, (A, B) => C]

A version of function that generates functions that accept two parameters.

A version of function that generates functions that accept two parameters.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def function3[R, A, B, C, D](gen: Gen[R, D])(implicit trace: Trace): Gen[R, (A, B, C) => D]

A version of function that generates functions that accept three parameters.

A version of function that generates functions that accept three parameters.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def function4[R, A, B, C, D, E](gen: Gen[R, E])(implicit trace: Trace): Gen[R, (A, B, C, D) => E]

A version of function that generates functions that accept four parameters.

A version of function that generates functions that accept four parameters.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def functionWith[R, A, B](gen: Gen[R, B])(hash: A => Int)(implicit trace: Trace): Gen[R, A => B]

Constructs a generator of functions from A to B given a generator of B values and a hashing function for A values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value, if they have have the same hash. This is useful when A does not implement hashCode in a way that is consistent with equality.

Constructs a generator of functions from A to B given a generator of B values and a hashing function for A values. Two A values will be considered to be equal, and thus will be guaranteed to generate the same B value, if they have have the same hash. This is useful when A does not implement hashCode in a way that is consistent with equality.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def functionWith2[R, A, B, C](gen: Gen[R, C])(hash: (A, B) => Int)(implicit trace: Trace): Gen[R, (A, B) => C]

A version of functionWith that generates functions that accept two parameters.

A version of functionWith that generates functions that accept two parameters.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def functionWith3[R, A, B, C, D](gen: Gen[R, D])(hash: (A, B, C) => Int)(implicit trace: Trace): Gen[R, (A, B, C) => D]

A version of functionWith that generates functions that accept three parameters.

A version of functionWith that generates functions that accept three parameters.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def functionWith4[R, A, B, C, D, E](gen: Gen[R, E])(hash: (A, B, C, D) => Int)(implicit trace: Trace): Gen[R, (A, B, C, D) => E]

A version of functionWith that generates functions that accept four parameters.

A version of functionWith that generates functions that accept four parameters.

Attributes

Inherited from:
FunctionVariants
Source
FunctionVariants.scala
final def instant(min: Instant, max: Instant)(implicit trace: Trace): Gen[Any, Instant]

A generator of java.time.Instant values inside the specified range: [min, max]. Shrinks toward min.

A generator of java.time.Instant values inside the specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def instant(implicit trace: Trace): Gen[Any, Instant]

A generator of java.time.Instant values. Shrinks toward Instant.MIN.

A generator of java.time.Instant values. Shrinks toward Instant.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def localDate(min: LocalDate, max: LocalDate)(implicit trace: Trace): Gen[Any, LocalDate]

A generator for java.time.LocalDate values inside the specified range: [min, max]. Shrinks towards min.

A generator for java.time.LocalDate values inside the specified range: [min, max]. Shrinks towards min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def localDate(implicit trace: Trace): Gen[Any, LocalDate]

A generator of java.time.LocalDate values. Shrinks toward LocalDate.MIN.

A generator of java.time.LocalDate values. Shrinks toward LocalDate.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def localDateTime(min: LocalDateTime, max: LocalDateTime)(implicit trace: Trace): Gen[Any, LocalDateTime]

A generator of java.time.LocalDateTime values inside the specified range: [min, max]. Shrinks toward min.

A generator of java.time.LocalDateTime values inside the specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def localDateTime(implicit trace: Trace): Gen[Any, LocalDateTime]

A generator of java.time.LocalDateTime values. Shrinks toward LocalDateTime.MIN.

A generator of java.time.LocalDateTime values. Shrinks toward LocalDateTime.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def localTime(implicit trace: Trace): Gen[Any, LocalTime]

A generator of java.time.LocalTime values. Shrinks toward LocalTime.MIN.

A generator of java.time.LocalTime values. Shrinks toward LocalTime.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def localTime(min: LocalTime, max: LocalTime)(implicit trace: Trace): Gen[Any, LocalTime]

A generator of java.time.LocalTime values within the specified range: [min, max]. Shrinks toward LocalTime.MIN.

A generator of java.time.LocalTime values within the specified range: [min, max]. Shrinks toward LocalTime.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def month(implicit trace: Trace): Gen[Any, Month]

A generator of java.time.Month values. Shrinks toward Month.JANUARY.

A generator of java.time.Month values. Shrinks toward Month.JANUARY.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def monthDay(implicit trace: Trace): Gen[Any, MonthDay]

A generator of java.time.MonthDay values. Shrinks toward MonthDay.of(Month.JANUARY, 1).

A generator of java.time.MonthDay values. Shrinks toward MonthDay.of(Month.JANUARY, 1).

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def offsetDateTime(min: OffsetDateTime, max: OffsetDateTime)(implicit trace: Trace): Gen[Any, OffsetDateTime]

A generator of java.time.OffsetDateTime values inside the specified range: [min, max]. Shrinks toward min.

A generator of java.time.OffsetDateTime values inside the specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def offsetDateTime(implicit trace: Trace): Gen[Any, OffsetDateTime]

A generator of java.time.OffsetDateTime values. Shrinks toward OffsetDateTime.MIN.

A generator of java.time.OffsetDateTime values. Shrinks toward OffsetDateTime.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def offsetTime(implicit trace: Trace): Gen[Any, OffsetTime]

A generator of java.time.OffsetTime values. Shrinks torward OffsetTime.MIN.

A generator of java.time.OffsetTime values. Shrinks torward OffsetTime.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def parallel[R, E, A](zio: ZIO[R, E, A])(implicit trace: Trace): Gen[Any, ZIO[R, E, A]]

A generator of effects that are the result of applying parallelism combinators to the specified effect that are guaranteed not to change its value.

A generator of effects that are the result of applying parallelism combinators to the specified effect that are guaranteed not to change its value.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def period(implicit trace: Trace): Gen[Any, Period]

A generator of java.time.Period values. Shrinks toward Period.ZERO.

A generator of java.time.Period values. Shrinks toward Period.ZERO.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def successes[R, A](gen: Gen[R, A])(implicit trace: Trace): Gen[R, UIO[A]]

A generator of successful effects.

A generator of successful effects.

Attributes

Inherited from:
GenZIO
Source
GenZIO.scala
final def year(implicit trace: Trace): Gen[Any, Year]

A generator of java.time.Year values. Shrinks toward Year.of(Year.MIN_VALUE).

A generator of java.time.Year values. Shrinks toward Year.of(Year.MIN_VALUE).

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def year(min: Year, max: Year)(implicit trace: Trace): Gen[Any, Year]

A generator of java.time.Year values inside the specified range: [min, max]. Shrinks toward min.

A generator of java.time.Year values inside the specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def yearMonth(min: YearMonth, max: YearMonth)(implicit trace: Trace): Gen[Any, YearMonth]

A generator of java.time.YearMonth values within specified range: [min, max]. Shrinks toward min.

A generator of java.time.YearMonth values within specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def yearMonth(implicit trace: Trace): Gen[Any, YearMonth]

A generator of java.time.YearMonth values. Shrinks toward YearMonth.of(Year.MIN_VALUE, Month.JANUARY).

A generator of java.time.YearMonth values. Shrinks toward YearMonth.of(Year.MIN_VALUE, Month.JANUARY).

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def zoneId(implicit trace: Trace): Gen[Any, ZoneId]

A generator of java.time.ZoneId values. Doesn't have any shrinking.

A generator of java.time.ZoneId values. Doesn't have any shrinking.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def zoneOffset(implicit trace: Trace): Gen[Any, ZoneOffset]

A generator of java.time.ZoneOffset values. Shrinks toward ZoneOffset.MIN.

A generator of java.time.ZoneOffset values. Shrinks toward ZoneOffset.MIN.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def zonedDateTime(min: ZonedDateTime, max: ZonedDateTime)(implicit trace: Trace): Gen[Any, ZonedDateTime]

A generator of java.time.ZonedDateTime values within specified range: [min, max]. Shrinks toward min.

A generator of java.time.ZonedDateTime values within specified range: [min, max]. Shrinks toward min.

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala
final def zonedDateTime(implicit trace: Trace): Gen[Any, ZonedDateTime]

A generator of java.time.ZonedDateTime values. Shrinks toward ZoneDateTime.of(LocalDateTime.MIN, zoneId).

A generator of java.time.ZonedDateTime values. Shrinks toward ZoneDateTime.of(LocalDateTime.MIN, zoneId).

Attributes

Inherited from:
TimeVariants
Source
TimeVariants.scala