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.
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.
A Char
that is a lower case character.
A Char
that is a lower case character.
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.
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.
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.
An Int
in the range from Int.MinValue
to -1.
An Int
in the range from Int.MinValue
to -1.
A Long
in the range from Long.MinValue
to -1.
A Long
in the range from Long.MinValue
to -1.
A String
that is not empty.
A String
that is not empty.
An Int
in the range from 0 to Int.MaxValue
.
An Int
in the range from 0 to Int.MaxValue
.
A Long
in the range from 0 to Long.MaxValue
.
A Long
in the range from 0 to Long.MaxValue
.
An Int
in the range from Int.MinValue
to 0.
An Int
in the range from Int.MinValue
to 0.
A Long
in the range from Long.MinValue
to 0.
A Long
in the range from Long.MinValue
to 0.
An Int
in the range from 0 to 65535 representing a port number.
An Int
in the range from 0 to 65535 representing a port number.
An Int
in the range from 1 to Int.MaxValue
.
An Int
in the range from 1 to Int.MaxValue
.
A Long
in the range from 1 to Long.MaxValue
.
A Long
in the range from 1 to Long.MaxValue
.
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.
A Char
that is an upper case character.
A Char
that is an upper case character.
Module for all predefined refined types.