time of day

The <time of day> inspectors provide tools for dealing and calculating with time-of-day types, which are of the form HH:MM:SS, as in 12:59:59.

Version Platforms
8.0.584.0 AIX, HP-UX, Mac, Red Hat, SUSE, Session, Solaris, Windows
8.1.535.0 Debian, Ubuntu
9.5.13.130 Raspbian

Creation

end time_of_day of <bes action> : time of day
midnight : time of day
noon : time of day
start time_of_day of <bes action> : time of day
time of <time of day with time zone> : time of day
time range end of <bes action> : time of day
time range start of <bes action> : time of day
time_of_day <string> : time of day
<string> as time_of_day : time of day

Properties

extrema of <time of day> : ( time of day, time of day )
hour_of_day of <time of day> : integer
maximum of <time of day> : time of day
minimum of <time of day> : time of day
minute_of_hour of <time of day> : integer
second_of_minute of <time of day> : integer
two digit hour of <time of day> : string
two digit minute of <time of day> : string
two digit second of <time of day> : string
unique value of <time of day> : time of day with multiplicity

Casts

<time of day> as string : string

Operators

<format> + <time of day> : format
<time interval> + <time of day> : time of day
<time of day> & <time zone> : time of day with time zone
<time of day> + <time interval> : time of day
<time of day> - <time interval> : time of day
<time of day> - <time of day> : time interval
<time of day> < <time of day> : boolean
<time of day> <= <time of day> : boolean
<time of day> = <time of day> : boolean
<time zone> & <time of day> : time of day with time zone