zio-test/zio.test/TimeVariants

TimeVariants

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

Value members

Concrete methods

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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).

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.

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.

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.

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.

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.

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).

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).

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.

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.

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.

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).

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.