zio-test/zio.test/TimeVariants

TimeVariants

trait TimeVariants
class Object
trait Matchable
class Any
object Gen.type

Value members

Concrete methods

final def anyDayOfWeek: Gen[Random, DayOfWeek]

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

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

final def anyFiniteDuration: Gen[Random, 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.

final def anyInstant: Gen[Random, Instant]

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

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

final def anyLocalDate: Gen[Random, LocalDate]

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

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

final def anyLocalDateTime: Gen[Random, LocalDateTime]

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

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

final def anyLocalTime: Gen[Random, LocalTime]

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

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

final def anyMonth: Gen[Random, Month]

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

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

final def anyMonthDay: Gen[Random, 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).

final def anyOffsetDateTime: Gen[Random, OffsetDateTime]

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

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

final def anyOffsetTime: Gen[Random, OffsetTime]

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

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

final def anyPeriod: Gen[Random, Period]

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

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

final def anyYear: Gen[Random, 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).

final def anyYearMonth: Gen[Random, 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).

@silent("JavaConverters")
final def anyZoneId: Gen[Random, 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.

final def anyZoneOffset: Gen[Random, ZoneOffset]

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

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

final def anyZonedDateTime: Gen[Random, 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).

final def finiteDuration(min: Duration, max: Duration): Gen[Random, 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.

final def instant(min: Instant, max: Instant): Gen[Random, 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.

final def localDateTime(min: LocalDateTime, max: LocalDateTime): Gen[Random, 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.

final def offsetDateTime(min: OffsetDateTime, max: OffsetDateTime): Gen[Random, 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.