Language reference
to_time (parse a string to a TIME)
Syntax
to_time(<string>)
π id, to_time(time_str) → at (RawImport)Description
to_time turns a text string into a proper TIME (a clock time), so time-of-day data that arrived as text can be compared and computed like a real time.
Technical Description
to_time(s: STRING) → TIME. Parses s as an ISO-8601 local time (LocalTime.parse); a malformed string is an evaluation error. NULL input returns NULL. PURE, DETERMINISTIC.
Examples
Convert an imported text time:
π id, to_time(time_str) → at (RawImport)PROJECT id, to_time(time_str) -> at (RawImport)Within business hours:
σ to_time(start) >= TIME '09:00:00' (RawShifts)σ to_time(start) ≥ TIME '09:00:00' (RawShifts)SELECT to_time(start) >= TIME '09:00:00' (RawShifts)Limitations
Expects ISO-8601 time (HH:MM[:SS]); other formats error. STRING argument; NULL in → NULL out.
Alternatives
to_date / to_timestamp for date or date-time strings; a TIME '…' literal for constants.