TimeVariants
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object Gen
Members list
Value members
Concrete methods
A generator of java.time.DayOfWeek
values. Shrinks toward DayOfWeek.MONDAY
.
A generator of java.time.DayOfWeek
values. Shrinks toward DayOfWeek.MONDAY
.
Attributes
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
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
A generator of java.time.Instant
values. Shrinks toward Instant.MIN
.
A generator of java.time.Instant
values. Shrinks toward Instant.MIN
.
Attributes
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
A generator of java.time.LocalDate
values. Shrinks toward LocalDate.MIN
.
A generator of java.time.LocalDate
values. Shrinks toward LocalDate.MIN
.
Attributes
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
A generator of java.time.LocalDateTime
values. Shrinks toward LocalDateTime.MIN
.
A generator of java.time.LocalDateTime
values. Shrinks toward LocalDateTime.MIN
.
Attributes
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
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
A generator of java.time.LocalTime
values. Shrinks toward LocalTime.MIN
.
A generator of java.time.LocalTime
values. Shrinks toward LocalTime.MIN
.
Attributes
A generator of java.time.Month
values. Shrinks toward Month.JANUARY
.
A generator of java.time.Month
values. Shrinks toward Month.JANUARY
.
Attributes
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
A generator of java.time.OffsetDateTime
values. Shrinks toward OffsetDateTime.MIN
.
A generator of java.time.OffsetDateTime
values. Shrinks toward OffsetDateTime.MIN
.
Attributes
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
A generator of java.time.OffsetTime
values. Shrinks torward OffsetTime.MIN
.
A generator of java.time.OffsetTime
values. Shrinks torward OffsetTime.MIN
.
Attributes
A generator of java.time.Period
values. Shrinks toward Period.ZERO
.
A generator of java.time.Period
values. Shrinks toward Period.ZERO
.
Attributes
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
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
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
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
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
A generator of java.time.ZoneOffset
values. Shrinks toward ZoneOffset.MIN
.
A generator of java.time.ZoneOffset
values. Shrinks toward ZoneOffset.MIN
.
Attributes
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
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
.