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(implicit trace: ZTraceElement): Gen[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)(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 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)(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 toward Instant.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 toward LocalDate.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 toward LocalDateTime.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 toward LocalTime.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 toward Month.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 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)(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 toward OffsetDateTime.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 torward OffsetTime.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 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(implicit trace: ZTraceElement): Gen[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(implicit trace: ZTraceElement): Gen[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(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 toward ZoneOffset.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 toward ZoneDateTime.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 toward DayOfWeek.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 toward Duration.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 toward Instant.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 toward LocalDate.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 toward LocalDateTime.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 toward LocalTime.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 toward Month.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 toward MonthDay.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 toward OffsetDateTime.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 torward OffsetTime.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 toward Period.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 toward Year.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 toward YearMonth.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 toward ZoneOffset.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 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(implicit trace: ZTraceElement): Gen[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)(implicit trace: ZTraceElement): Gen[Random, zio.Duration]

final def finiteDuration(implicit trace: ZTraceElement): Gen[Random, zio.Duration]

final def getClass(): Class[_]

def hashCode(): Int

final def instant(min: Instant, max: Instant)(implicit trace: ZTraceElement): Gen[Random, Instant]

final def instant(implicit trace: ZTraceElement): Gen[Random, Instant]

final def isInstanceOf[T0]: Boolean

final def localDate(implicit trace: ZTraceElement): Gen[Random, LocalDate]

final def localDateTime(min: LocalDateTime, max: LocalDateTime)(implicit trace: ZTraceElement): Gen[Random, LocalDateTime]

final def localDateTime(implicit trace: ZTraceElement): Gen[Random, LocalDateTime]

final def localTime(implicit trace: ZTraceElement): Gen[Random, LocalTime]

final def month(implicit trace: ZTraceElement): Gen[Random, Month]

final def monthDay(implicit trace: ZTraceElement): Gen[Random, MonthDay]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def offsetDateTime(min: OffsetDateTime, max: OffsetDateTime)(implicit trace: ZTraceElement): Gen[Random, OffsetDateTime]

final def offsetDateTime(implicit trace: ZTraceElement): Gen[Random, OffsetDateTime]

final def offsetTime(implicit trace: ZTraceElement): Gen[Random, OffsetTime]

final def period(implicit trace: ZTraceElement): Gen[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(implicit trace: ZTraceElement): Gen[Random, Year]

final def yearMonth(implicit trace: ZTraceElement): Gen[Random, YearMonth]

final def zoneId(implicit trace: ZTraceElement): Gen[Random, ZoneId]

final def zoneOffset(implicit trace: ZTraceElement): Gen[Random, ZoneOffset]

final def zonedDateTime(implicit trace: ZTraceElement): Gen[Random, ZonedDateTime]

Deprecated Value Members

final def anyDayOfWeek(implicit trace: ZTraceElement): Gen[Random, DayOfWeek]

final def anyFiniteDuration(implicit trace: ZTraceElement): Gen[Random, zio.Duration]

final def anyInstant(implicit trace: ZTraceElement): Gen[Random, Instant]

final def anyLocalDate(implicit trace: ZTraceElement): Gen[Random, LocalDate]

final def anyLocalDateTime(implicit trace: ZTraceElement): Gen[Random, LocalDateTime]

final def anyLocalTime(implicit trace: ZTraceElement): Gen[Random, LocalTime]

final def anyMonth(implicit trace: ZTraceElement): Gen[Random, Month]

final def anyMonthDay(implicit trace: ZTraceElement): Gen[Random, MonthDay]

final def anyOffsetDateTime(implicit trace: ZTraceElement): Gen[Random, OffsetDateTime]

final def anyOffsetTime(implicit trace: ZTraceElement): Gen[Random, OffsetTime]

final def anyPeriod(implicit trace: ZTraceElement): Gen[Random, Period]

final def anyYear(implicit trace: ZTraceElement): Gen[Random, Year]

final def anyYearMonth(implicit trace: ZTraceElement): Gen[Random, YearMonth]

final def anyZoneId(implicit trace: ZTraceElement): Gen[Random, ZoneId]

final def anyZoneOffset(implicit trace: ZTraceElement): Gen[Random, ZoneOffset]

final def anyZonedDateTime(implicit trace: ZTraceElement): Gen[Random, ZonedDateTime]

Inherited from AnyRef

Inherited from Any

Ungrouped