- Companion:
- class
Type members
Value members
Concrete methods
A generator of alphanumeric characters. Shrinks toward '0'.
A generator of alphanumeric characters. Shrinks toward '0'.
A generator of alphanumeric strings. Shrinks towards the empty string.
A generator of alphanumeric strings. Shrinks towards the empty 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.
A generator of US-ASCII characters. Shrinks toward '0'.
A generator of US-ASCII characters. Shrinks toward '0'.
A generator US-ASCII strings. Shrinks towards the empty string.
A generator US-ASCII strings. Shrinks towards the empty string.
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
.
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
.
- See also:
See bigDecimal for implementation.
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").
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").
- See also:
See bigInt for implementation.
A generator whose size falls within the specified bounds.
A generator whose size falls within the specified bounds.
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").
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").
A generator of chunks whose size falls within the specified bounds.
A generator of chunks whose size falls within the specified bounds.
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.
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.
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").
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
.
Constructs a deterministic generator that only generates the specified fixed values.
Constructs a deterministic generator that only generates the specified fixed values.
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.
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.
Constructs a generator from an effect that constructs a value.
Constructs a generator from an effect that constructs a value.
Constructs a generator from an effect that constructs a sample.
Constructs a generator from an effect that constructs a sample.
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").
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.
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.
A generator of lists whose size falls within the specified bounds.
A generator of lists whose size falls within the specified bounds.
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").
A generator of maps whose size falls within the specified bounds.
A generator of maps whose size falls within the specified bounds.
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.
A generator of numeric characters. Shrinks toward '0'.
A generator of numeric characters. Shrinks toward '0'.
A generator of optional values. Shrinks toward None
.
A generator of optional values. Shrinks toward None
.
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
.
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.
A generator of printable characters. Shrinks toward '!'.
A generator of printable characters. Shrinks toward '!'.
A generator of sets whose size falls within the specified bounds.
A generator of sets whose size falls within the specified bounds.
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").
A sized generator, whose size falls within the specified bounds.
A sized generator, whose size falls within the specified bounds.
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.
A generator of strings. Shrinks towards the empty string.
A generator of strings. Shrinks towards the empty string.
A generator of strings whose size falls within the specified bounds.
A generator of strings whose size falls within the specified bounds.
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.
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.
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.
A generator of Unicode characters. Shrinks toward '0'.
A generator of Unicode characters. Shrinks toward '0'.
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
.
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.
A generator of vectors whose size falls within the specified bounds.
A generator of vectors whose size falls within the specified bounds.
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))
Inherited methods
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.
- Inherited from:
- GenZIO
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.
- Inherited from:
- GenZIO
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.
- Inherited from:
- GenZIO
A generator of java.time.DayOfWeek
values. Shrinks toward
DayOfWeek.MONDAY
.
A generator of java.time.DayOfWeek
values. Shrinks toward
DayOfWeek.MONDAY
.
- Inherited from:
- TimeVariants
A generator of effects that have died with a Throwable
.
A generator of effects that have died with a Throwable
.
- Inherited from:
- GenZIO
A generator of effects that have failed with an error.
A generator of effects that have failed with an error.
- Inherited from:
- GenZIO
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.
- Inherited from:
- TimeVariants
A generator of finite zio.duration.Duration
values. Shrinks toward
Duration.Zero
.
A generator of finite zio.duration.Duration
values. Shrinks toward
Duration.Zero
.
- Inherited from:
- TimeVariants
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
.
- Inherited from:
- FunctionVariants
A version of function
that generates functions that accept two
parameters.
A version of function
that generates functions that accept two
parameters.
- Inherited from:
- FunctionVariants
A version of function
that generates functions that accept three
parameters.
A version of function
that generates functions that accept three
parameters.
- Inherited from:
- FunctionVariants
A version of function
that generates functions that accept four
parameters.
A version of function
that generates functions that accept four
parameters.
- Inherited from:
- FunctionVariants
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.
- Inherited from:
- FunctionVariants
A version of functionWith
that generates functions that accept two
parameters.
A version of functionWith
that generates functions that accept two
parameters.
- Inherited from:
- FunctionVariants
A version of functionWith
that generates functions that accept three
parameters.
A version of functionWith
that generates functions that accept three
parameters.
- Inherited from:
- FunctionVariants
A version of functionWith
that generates functions that accept four
parameters.
A version of functionWith
that generates functions that accept four
parameters.
- Inherited from:
- FunctionVariants
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.
- Inherited from:
- TimeVariants
A generator of java.time.Instant
values. Shrinks toward Instant.MIN
.
A generator of java.time.Instant
values. Shrinks toward Instant.MIN
.
- Inherited from:
- TimeVariants
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.
- Inherited from:
- TimeVariants
A generator of java.time.LocalDate
values. Shrinks toward
LocalDate.MIN
.
A generator of java.time.LocalDate
values. Shrinks toward
LocalDate.MIN
.
- Inherited from:
- TimeVariants
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.
- Inherited from:
- TimeVariants
A generator of java.time.LocalDateTime
values. Shrinks toward
LocalDateTime.MIN
.
A generator of java.time.LocalDateTime
values. Shrinks toward
LocalDateTime.MIN
.
- Inherited from:
- TimeVariants
A generator of java.time.LocalTime
values. Shrinks toward
LocalTime.MIN
.
A generator of java.time.LocalTime
values. Shrinks toward
LocalTime.MIN
.
- Inherited from:
- TimeVariants
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
.
- Inherited from:
- TimeVariants
A generator of java.time.Month
values. Shrinks toward Month.JANUARY
.
A generator of java.time.Month
values. Shrinks toward Month.JANUARY
.
- Inherited from:
- TimeVariants
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)
.
- Inherited from:
- TimeVariants
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.
- Inherited from:
- TimeVariants
A generator of java.time.OffsetDateTime
values. Shrinks toward
OffsetDateTime.MIN
.
A generator of java.time.OffsetDateTime
values. Shrinks toward
OffsetDateTime.MIN
.
- Inherited from:
- TimeVariants
A generator of java.time.OffsetTime
values. Shrinks torward
OffsetTime.MIN
.
A generator of java.time.OffsetTime
values. Shrinks torward
OffsetTime.MIN
.
- Inherited from:
- TimeVariants
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.
- Inherited from:
- GenZIO
A generator of java.time.Period
values. Shrinks toward Period.ZERO
.
A generator of java.time.Period
values. Shrinks toward Period.ZERO
.
- Inherited from:
- TimeVariants
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)
.
- Inherited from:
- TimeVariants
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
.
- Inherited from:
- TimeVariants
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
.
- Inherited from:
- TimeVariants
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)
.
- Inherited from:
- TimeVariants
A generator of java.time.ZoneId
values. Doesn't have any shrinking.
A generator of java.time.ZoneId
values. Doesn't have any shrinking.
- Inherited from:
- TimeVariants
A generator of java.time.ZoneOffset
values. Shrinks toward
ZoneOffset.MIN
.
A generator of java.time.ZoneOffset
values. Shrinks toward
ZoneOffset.MIN
.
- Inherited from:
- TimeVariants
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
.
- Inherited from:
- TimeVariants
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)
.
- Inherited from:
- TimeVariants