trait TimeVariants extends AnyRef
- Alphabetic
- By Inheritance
- TimeVariants
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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( ... ) @native()
-
final
def
dayOfWeek(implicit trace: ZTraceElement): Gen[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: Any): 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[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[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[_]
- 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[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[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[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[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[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[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[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[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[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[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[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[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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
year(implicit trace: ZTraceElement): Gen[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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