TimeVariants

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[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def dayOfWeek: Gen[Has[Random], DayOfWeek]

A generator of java.time.DayOfWeek values.
A generator of java.time.DayOfWeek values. Shrinks toward DayOfWeek.MONDAY.
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def finiteDuration(min: zio.Duration, max: zio.Duration): 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: Gen[Has[Random], zio.Duration]

A generator of finite zio.duration.Duration values.
A generator of finite zio.duration.Duration values. Shrinks toward Duration.Zero.
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def instant(min: Instant, max: Instant): 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: Gen[Has[Random], Instant]

A generator of java.time.Instant values.
A generator of java.time.Instant values. Shrinks toward Instant.MIN.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def localDate: Gen[Has[Random], LocalDate]

A generator of java.time.LocalDate values.
A generator of java.time.LocalDate values. Shrinks toward LocalDate.MIN.
final def localDateTime(min: LocalDateTime, max: LocalDateTime): 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: Gen[Has[Random], LocalDateTime]

A generator of java.time.LocalDateTime values.
A generator of java.time.LocalDateTime values. Shrinks toward LocalDateTime.MIN.
final def localTime: Gen[Has[Random], LocalTime]

A generator of java.time.LocalTime values.
A generator of java.time.LocalTime values. Shrinks toward LocalTime.MIN.
final def month: Gen[Has[Random], Month]

A generator of java.time.Month values.
A generator of java.time.Month values. Shrinks toward Month.JANUARY.
final def monthDay: Gen[Has[Random], MonthDay]

A generator of java.time.MonthDay values.
A generator of java.time.MonthDay values. Shrinks toward MonthDay.of(Month.JANUARY, 1).
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def offsetDateTime(min: OffsetDateTime, max: OffsetDateTime): 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: Gen[Has[Random], OffsetDateTime]

A generator of java.time.OffsetDateTime values.
A generator of java.time.OffsetDateTime values. Shrinks toward OffsetDateTime.MIN.
final def offsetTime: Gen[Has[Random], OffsetTime]

A generator of java.time.OffsetTime values.
A generator of java.time.OffsetTime values. Shrinks torward OffsetTime.MIN.
final def period: Gen[Has[Random], Period]

A generator of java.time.Period values.
A generator of java.time.Period values. Shrinks toward Period.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( ... )
final def year: Gen[Has[Random], Year]

A generator of java.time.Year values.
A generator of java.time.Year values. Shrinks toward Year.of(Year.MIN_VALUE).
final def yearMonth: Gen[Has[Random], YearMonth]

A generator of java.time.YearMonth values.
A generator of java.time.YearMonth values. Shrinks toward YearMonth.of(Year.MIN_VALUE, Month.JANUARY).
final def zoneId: 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: Gen[Has[Random], ZoneOffset]

A generator of java.time.ZoneOffset values.
A generator of java.time.ZoneOffset values. Shrinks toward ZoneOffset.MIN.
final def zonedDateTime: Gen[Has[Random], ZonedDateTime]

A generator of java.time.ZonedDateTime values.
A generator of java.time.ZonedDateTime values. Shrinks toward ZoneDateTime.of(LocalDateTime.MIN, zoneId).

Deprecated Value Members

final def anyDayOfWeek: Gen[Has[Random], DayOfWeek]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use dayOfWeek
final def anyFiniteDuration: Gen[Has[Random], zio.Duration]

A generator of finite zio.duration.Duration values.
A generator of finite zio.duration.Duration values. Shrinks toward Duration.Zero.

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use finiteDuration
final def anyInstant: Gen[Has[Random], Instant]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use instant
final def anyLocalDate: Gen[Has[Random], LocalDate]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use localDate
final def anyLocalDateTime: Gen[Has[Random], LocalDateTime]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use localDateTime
final def anyLocalTime: Gen[Has[Random], LocalTime]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use localTime
final def anyMonth: Gen[Has[Random], Month]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use month
final def anyMonthDay: Gen[Has[Random], MonthDay]

A generator of java.time.MonthDay values.
A generator of java.time.MonthDay values. Shrinks toward MonthDay.of(Month.JANUARY, 1).

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use monthDay
final def anyOffsetDateTime: Gen[Has[Random], OffsetDateTime]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use offsetDateTime
final def anyOffsetTime: Gen[Has[Random], OffsetTime]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use offsetTime
final def anyPeriod: Gen[Has[Random], Period]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use period
final def anyYear: Gen[Has[Random], Year]

A generator of java.time.Year values.
A generator of java.time.Year values. Shrinks toward Year.of(Year.MIN_VALUE).

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use year
final def anyYearMonth: Gen[Has[Random], YearMonth]

A generator of java.time.YearMonth values.
A generator of java.time.YearMonth values. Shrinks toward YearMonth.of(Year.MIN_VALUE, Month.JANUARY).

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use yearMonth
final def anyZoneId: 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: Gen[Has[Random], ZoneOffset]

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

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use zoneOffset
final def anyZonedDateTime: Gen[Has[Random], ZonedDateTime]

A generator of java.time.ZonedDateTime values.
A generator of java.time.ZonedDateTime values. Shrinks toward ZoneDateTime.of(LocalDateTime.MIN, zoneId).

Annotations
@deprecated
Deprecated
(Since version 2.0.0) use zonedDateTime

Related Doc: package test

trait TimeVariants extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def dayOfWeek: Gen[Has[Random], DayOfWeek]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def finiteDuration(min: zio.Duration, max: zio.Duration): Gen[Has[Random], zio.Duration]

final def finiteDuration: Gen[Has[Random], zio.Duration]

final def getClass(): Class[_]

def hashCode(): Int

final def instant(min: Instant, max: Instant): Gen[Has[Random], Instant]

final def instant: Gen[Has[Random], Instant]

final def isInstanceOf[T0]: Boolean

final def localDate: Gen[Has[Random], LocalDate]

final def localDateTime(min: LocalDateTime, max: LocalDateTime): Gen[Has[Random], LocalDateTime]

final def localDateTime: Gen[Has[Random], LocalDateTime]

final def localTime: Gen[Has[Random], LocalTime]

final def month: Gen[Has[Random], Month]

final def monthDay: Gen[Has[Random], MonthDay]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def offsetDateTime(min: OffsetDateTime, max: OffsetDateTime): Gen[Has[Random], OffsetDateTime]

final def offsetDateTime: Gen[Has[Random], OffsetDateTime]

final def offsetTime: Gen[Has[Random], OffsetTime]

final def period: Gen[Has[Random], Period]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def year: Gen[Has[Random], Year]

final def yearMonth: Gen[Has[Random], YearMonth]

final def zoneId: Gen[Has[Random], ZoneId]

final def zoneOffset: Gen[Has[Random], ZoneOffset]

final def zonedDateTime: Gen[Has[Random], ZonedDateTime]

Deprecated Value Members

final def anyDayOfWeek: Gen[Has[Random], DayOfWeek]

final def anyFiniteDuration: Gen[Has[Random], zio.Duration]

final def anyInstant: Gen[Has[Random], Instant]

final def anyLocalDate: Gen[Has[Random], LocalDate]

final def anyLocalDateTime: Gen[Has[Random], LocalDateTime]

final def anyLocalTime: Gen[Has[Random], LocalTime]

final def anyMonth: Gen[Has[Random], Month]

final def anyMonthDay: Gen[Has[Random], MonthDay]

final def anyOffsetDateTime: Gen[Has[Random], OffsetDateTime]

final def anyOffsetTime: Gen[Has[Random], OffsetTime]

final def anyPeriod: Gen[Has[Random], Period]

final def anyYear: Gen[Has[Random], Year]

final def anyYearMonth: Gen[Has[Random], YearMonth]

final def anyZoneId: Gen[Has[Random], ZoneId]

final def anyZoneOffset: Gen[Has[Random], ZoneOffset]

final def anyZonedDateTime: Gen[Has[Random], ZonedDateTime]

Inherited from AnyRef

Inherited from Any

Ungrouped