time

Type Members

type Day = Refined[Int, Closed[Int(1), Int(31)]]

An Int in the range from 1 to 31 representing the day-of-month.
An Int in the range from 1 to 31 representing the day-of-month. Note that the days from 29 to 31 are not valid for all months.

Definition Classes
TimeTypes
type Hour = Refined[Int, Closed[Int(0), Int(23)]]

An Int in the range from 0 to 23 representing the hour-of-day.
An Int in the range from 0 to 23 representing the hour-of-day.

Definition Classes
TimeTypes
type Millis = Refined[Int, Closed[Int(0), Int(999)]]

An Int in the range from 0 to 999 representing the millisecond-of-second.
An Int in the range from 0 to 999 representing the millisecond-of-second.

Definition Classes
TimeTypes
type Minute = Refined[Int, Closed[Int(0), Int(59)]]

An Int in the range from 0 to 59 representing the minute-of-hour.
An Int in the range from 0 to 59 representing the minute-of-hour.

Definition Classes
TimeTypes
type Month = Refined[Int, Closed[Int(1), Int(12)]]

An Int in the range from 1 to 12 representing the month-of-year.
An Int in the range from 1 to 12 representing the month-of-year.

Definition Classes
TimeTypes
type Second = Refined[Int, Closed[Int(0), Int(59)]]

An Int in the range from 0 to 59 representing the second-of-minute.
An Int in the range from 0 to 59 representing the second-of-minute.

Definition Classes
TimeTypes

Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
object Day extends RefinedTypeOps[Day, Int]

Definition Classes
TimeTypes
object Hour extends RefinedTypeOps[Hour, Int]

Definition Classes
TimeTypes
object Millis extends RefinedTypeOps[Millis, Int]

Definition Classes
TimeTypes
object Minute extends RefinedTypeOps[Minute, Int]

Definition Classes
TimeTypes
object Month extends RefinedTypeOps[Month, Int]

Definition Classes
TimeTypes
object Second extends RefinedTypeOps[Second, Int]

Definition Classes
TimeTypes
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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 getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
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 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( ... )

object time extends TimeTypes

Type Members

type Day = Refined[Int, Closed[Int(1), Int(31)]]

type Hour = Refined[Int, Closed[Int(0), Int(23)]]

type Millis = Refined[Int, Closed[Int(0), Int(999)]]

type Minute = Refined[Int, Closed[Int(0), Int(59)]]

type Month = Refined[Int, Closed[Int(1), Int(12)]]

type Second = Refined[Int, Closed[Int(0), Int(59)]]

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object Day extends RefinedTypeOps[Day, Int]

object Hour extends RefinedTypeOps[Hour, Int]

object Millis extends RefinedTypeOps[Millis, Int]

object Minute extends RefinedTypeOps[Minute, Int]

object Month extends RefinedTypeOps[Month, Int]

object Second extends RefinedTypeOps[Second, Int]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

Inherited from TimeTypes

Inherited from AnyRef

Inherited from Any

Ungrouped