A generator of java.time.DayOfWeek
values.
A generator of java.time.DayOfWeek
values. Shrinks toward
DayOfWeek.MONDAY
.
A generator of finite zio.duration.Duration
values inside the specified
range: [min, max].
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.
A generator of finite zio.duration.Duration
values. Shrinks toward
Duration.Zero
.
A generator of java.time.Instant
values inside the specified range: [min,
max].
A generator of java.time.Instant
values inside the specified range: [min,
max]. Shrinks toward min.
A generator of java.time.Instant
values.
A generator of java.time.Instant
values. Shrinks toward Instant.MIN
.
A generator of java.time.LocalDate
values.
A generator of java.time.LocalDate
values. Shrinks toward
LocalDate.MIN
.
A generator of java.time.LocalDateTime
values inside the specified range:
[min, max].
A generator of java.time.LocalDateTime
values inside the specified range:
[min, max]. Shrinks toward min.
A generator of java.time.LocalDateTime
values.
A generator of java.time.LocalDateTime
values. Shrinks toward
LocalDateTime.MIN
.
A generator of java.time.LocalTime
values.
A generator of java.time.LocalTime
values. Shrinks toward
LocalTime.MIN
.
A generator of java.time.Month
values.
A generator of java.time.Month
values. Shrinks toward Month.JANUARY
.
A generator of java.time.MonthDay
values.
A generator of java.time.MonthDay
values. Shrinks toward
MonthDay.of(Month.JANUARY, 1)
.
A generator of java.time.OffsetDateTime
values inside the specified
range: [min, max].
A generator of java.time.OffsetDateTime
values inside the specified
range: [min, max]. Shrinks toward min.
A generator of java.time.OffsetDateTime
values.
A generator of java.time.OffsetDateTime
values. Shrinks toward
OffsetDateTime.MIN
.
A generator of java.time.OffsetTime
values.
A generator of java.time.OffsetTime
values. Shrinks torward
OffsetTime.MIN
.
A generator of java.time.Period
values.
A generator of java.time.Period
values. Shrinks toward Period.ZERO
.
A generator of java.time.Year
values.
A generator of java.time.Year
values. Shrinks toward
Year.of(Year.MIN_VALUE)
.
A generator of java.time.YearMonth
values.
A generator of java.time.YearMonth
values. Shrinks toward
YearMonth.of(Year.MIN_VALUE, Month.JANUARY)
.
A generator of java.time.ZoneId
values.
A generator of java.time.ZoneId
values. Doesn't have any shrinking.
A generator of java.time.ZoneOffset
values.
A generator of java.time.ZoneOffset
values. Shrinks toward
ZoneOffset.MIN
.
A generator of java.time.ZonedDateTime
values.
A generator of java.time.ZonedDateTime
values. Shrinks toward
ZoneDateTime.of(LocalDateTime.MIN, zoneId)
.