time of day with time zone
The <time of day with time zone> inspectors provide tools for dealing and calculating with time-of-day-with-time-zone types, which are of the form HH:MM:SS +ZZZZ, as in 12:59:59 -0400.
| 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
current time_of_day : time of day with time zone
current time_of_day <time zone> : time of day with time zone
time <time zone> of <time> : time of day with time zone
zoned time_of_day <string> : time of day with time zone
<string> as local zoned time_of_day : time of day with time zone
<string> as universal zoned time_of_day : time of day with time zone
<string> as zoned time_of_day : time of day with time zone
Properties
hour_of_day of <time of day with time zone> : integer
minute_of_hour of <time of day with time zone> : integer
second_of_minute of <time of day with time zone> : integer
time of <time of day with time zone> : time of day
two digit hour of <time of day with time zone> : string
two digit minute of <time of day with time zone> : string
two digit second of <time of day with time zone> : string
unique value of <time of day with time zone> : time of day with time zone with multiplicity
zone of <time of day with time zone> : time zone
Casts
<time of day with time zone> as string : string
Operators
<date> & <time of day with time zone> : time
<time of day with time zone> & <date> : time