time

Module for date and time related refined types.

Linear Supertypes

TimeTypes, AnyRef, Any

Ordering

Inherited

Visibility

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

Packages