trait TimeVariants extends AnyRef
- Alphabetic
- By Inheritance
- TimeVariants
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def dayOfWeek(implicit trace: ZTraceElement): Gen[Has[Random], DayOfWeek]
A generator of
java.time.DayOfWeek
values.A generator of
java.time.DayOfWeek
values. Shrinks towardDayOfWeek.MONDAY
. - final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def finiteDuration(min: zio.Duration, max: zio.Duration)(implicit trace: ZTraceElement): Gen[Has[Random], zio.Duration]
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. - final def finiteDuration(implicit trace: ZTraceElement): Gen[Has[Random], zio.Duration]
A generator of finite
zio.duration.Duration
values.A generator of finite
zio.duration.Duration
values. Shrinks towardDuration.Zero
. - final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def instant(min: Instant, max: Instant)(implicit trace: ZTraceElement): Gen[Has[Random], Instant]
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. - final def instant(implicit trace: ZTraceElement): Gen[Has[Random], Instant]
A generator of
java.time.Instant
values.A generator of
java.time.Instant
values. Shrinks towardInstant.MIN
. - final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def localDate(implicit trace: ZTraceElement): Gen[Has[Random], LocalDate]
A generator of
java.time.LocalDate
values.A generator of
java.time.LocalDate
values. Shrinks towardLocalDate.MIN
. - final def localDateTime(min: LocalDateTime, max: LocalDateTime)(implicit trace: ZTraceElement): Gen[Has[Random], LocalDateTime]
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. - final def localDateTime(implicit trace: ZTraceElement): Gen[Has[Random], LocalDateTime]
A generator of
java.time.LocalDateTime
values.A generator of
java.time.LocalDateTime
values. Shrinks towardLocalDateTime.MIN
. - final def localTime(implicit trace: ZTraceElement): Gen[Has[Random], LocalTime]
A generator of
java.time.LocalTime
values.A generator of
java.time.LocalTime
values. Shrinks towardLocalTime.MIN
. - final def month(implicit trace: ZTraceElement): Gen[Has[Random], Month]
A generator of
java.time.Month
values.A generator of
java.time.Month
values. Shrinks towardMonth.JANUARY
. - final def monthDay(implicit trace: ZTraceElement): Gen[Has[Random], MonthDay]
A generator of
java.time.MonthDay
values.A generator of
java.time.MonthDay
values. Shrinks towardMonthDay.of(Month.JANUARY, 1)
. - final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def offsetDateTime(min: OffsetDateTime, max: OffsetDateTime)(implicit trace: ZTraceElement): Gen[Has[Random], OffsetDateTime]
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. - final def offsetDateTime(implicit trace: ZTraceElement): Gen[Has[Random], OffsetDateTime]
A generator of
java.time.OffsetDateTime
values.A generator of
java.time.OffsetDateTime
values. Shrinks towardOffsetDateTime.MIN
. - final def offsetTime(implicit trace: ZTraceElement): Gen[Has[Random], OffsetTime]
A generator of
java.time.OffsetTime
values.A generator of
java.time.OffsetTime
values. Shrinks torwardOffsetTime.MIN
. - final def period(implicit trace: ZTraceElement): Gen[Has[Random], Period]
A generator of
java.time.Period
values.A generator of
java.time.Period
values. Shrinks towardPeriod.ZERO
. - final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def year(implicit trace: ZTraceElement): Gen[Has[Random], Year]
A generator of
java.time.Year
values.A generator of
java.time.Year
values. Shrinks towardYear.of(Year.MIN_VALUE)
. - final def yearMonth(implicit trace: ZTraceElement): Gen[Has[Random], YearMonth]
A generator of
java.time.YearMonth
values.A generator of
java.time.YearMonth
values. Shrinks towardYearMonth.of(Year.MIN_VALUE, Month.JANUARY)
. - final def zoneId(implicit trace: ZTraceElement): Gen[Has[Random], ZoneId]
A generator of
java.time.ZoneId
values.A generator of
java.time.ZoneId
values. Doesn't have any shrinking.- Annotations
- @silent("JavaConverters")
- final def zoneOffset(implicit trace: ZTraceElement): Gen[Has[Random], ZoneOffset]
A generator of
java.time.ZoneOffset
values.A generator of
java.time.ZoneOffset
values. Shrinks towardZoneOffset.MIN
. - final def zonedDateTime(implicit trace: ZTraceElement): Gen[Has[Random], ZonedDateTime]
A generator of
java.time.ZonedDateTime
values.A generator of
java.time.ZonedDateTime
values. Shrinks towardZoneDateTime.of(LocalDateTime.MIN, zoneId)
.
Deprecated Value Members
- final def anyDayOfWeek(implicit trace: ZTraceElement): Gen[Has[Random], DayOfWeek]
A generator of
java.time.DayOfWeek
values.A generator of
java.time.DayOfWeek
values. Shrinks towardDayOfWeek.MONDAY
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use dayOfWeek
- final def anyFiniteDuration(implicit trace: ZTraceElement): Gen[Has[Random], zio.Duration]
A generator of finite
zio.duration.Duration
values.A generator of finite
zio.duration.Duration
values. Shrinks towardDuration.Zero
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use finiteDuration
- final def anyInstant(implicit trace: ZTraceElement): Gen[Has[Random], Instant]
A generator of
java.time.Instant
values.A generator of
java.time.Instant
values. Shrinks towardInstant.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use instant
- final def anyLocalDate(implicit trace: ZTraceElement): Gen[Has[Random], LocalDate]
A generator of
java.time.LocalDate
values.A generator of
java.time.LocalDate
values. Shrinks towardLocalDate.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use localDate
- final def anyLocalDateTime(implicit trace: ZTraceElement): Gen[Has[Random], LocalDateTime]
A generator of
java.time.LocalDateTime
values.A generator of
java.time.LocalDateTime
values. Shrinks towardLocalDateTime.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use localDateTime
- final def anyLocalTime(implicit trace: ZTraceElement): Gen[Has[Random], LocalTime]
A generator of
java.time.LocalTime
values.A generator of
java.time.LocalTime
values. Shrinks towardLocalTime.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use localTime
- final def anyMonth(implicit trace: ZTraceElement): Gen[Has[Random], Month]
A generator of
java.time.Month
values.A generator of
java.time.Month
values. Shrinks towardMonth.JANUARY
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use month
- final def anyMonthDay(implicit trace: ZTraceElement): Gen[Has[Random], MonthDay]
A generator of
java.time.MonthDay
values.A generator of
java.time.MonthDay
values. Shrinks towardMonthDay.of(Month.JANUARY, 1)
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use monthDay
- final def anyOffsetDateTime(implicit trace: ZTraceElement): Gen[Has[Random], OffsetDateTime]
A generator of
java.time.OffsetDateTime
values.A generator of
java.time.OffsetDateTime
values. Shrinks towardOffsetDateTime.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use offsetDateTime
- final def anyOffsetTime(implicit trace: ZTraceElement): Gen[Has[Random], OffsetTime]
A generator of
java.time.OffsetTime
values.A generator of
java.time.OffsetTime
values. Shrinks torwardOffsetTime.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use offsetTime
- final def anyPeriod(implicit trace: ZTraceElement): Gen[Has[Random], Period]
A generator of
java.time.Period
values.A generator of
java.time.Period
values. Shrinks towardPeriod.ZERO
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use period
- final def anyYear(implicit trace: ZTraceElement): Gen[Has[Random], Year]
A generator of
java.time.Year
values.A generator of
java.time.Year
values. Shrinks towardYear.of(Year.MIN_VALUE)
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use year
- final def anyYearMonth(implicit trace: ZTraceElement): Gen[Has[Random], YearMonth]
A generator of
java.time.YearMonth
values.A generator of
java.time.YearMonth
values. Shrinks towardYearMonth.of(Year.MIN_VALUE, Month.JANUARY)
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use yearMonth
- final def anyZoneId(implicit trace: ZTraceElement): Gen[Has[Random], ZoneId]
A generator of
java.time.ZoneId
values.A generator of
java.time.ZoneId
values. Doesn't have any shrinking.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use zoneId
- final def anyZoneOffset(implicit trace: ZTraceElement): Gen[Has[Random], ZoneOffset]
A generator of
java.time.ZoneOffset
values.A generator of
java.time.ZoneOffset
values. Shrinks towardZoneOffset.MIN
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use zoneOffset
- final def anyZonedDateTime(implicit trace: ZTraceElement): Gen[Has[Random], ZonedDateTime]
A generator of
java.time.ZonedDateTime
values.A generator of
java.time.ZonedDateTime
values. Shrinks towardZoneDateTime.of(LocalDateTime.MIN, zoneId)
.- Annotations
- @deprecated
- Deprecated
(Since version 2.0.0) use zonedDateTime