make_time ( hour int, min int, sec double precision ) → timeCreate time from hour, minute and seconds fields
make_time(8, 15, 23.5) → 08:15:23.5
Functions / Date/Time Functions And Operators
Create time from hour, minute and seconds fields
Reading PG 18current·documented in 14 of 27 versions, 9.4 to 20
make_time ( hour int, min int, sec double precision ) → timeCreate time from hour, minute and seconds fields
make_time(8, 15, 23.5) → 08:15:23.5
Definition snapshot: 2026-09-14T13:14:25.684213+00:00@99e6866c · English manual source