--
-- TIME
--
CREATE TABLE TIME_TBL (f1 time(2));
INSERT INTO TIME_TBL VALUES ('00:00');
INSERT INTO TIME_TBL VALUES ('01:00');
INSERT INTO TIME_TBL VALUES ('12:00');
INSERT INTO TIME_TBL VALUES ('12:01');
INSERT INTO TIME_TBL VALUES ('23:59');
INSERT INTO TIME_TBL VALUES ('11:59:59.99 PM');
SELECT f1 AS "None" FROM TIME_TBL WHERE f1 < '00:00';
 None 
------
(0 rows)

-- Check edge cases
SELECT '23:59:59.999999'::time;
      time       
-----------------
 23:59:59.999999
(1 row)

SELECT '23:59:59.9999999'::time;  -- rounds up
   time   
----------
 24:00:00
(1 row)

SELECT '23:59:60'::time;  -- rounds up
   time   
----------
 24:00:00
(1 row)

SELECT '24:00:00'::time;  -- allowed
   time   
----------
 24:00:00
(1 row)

SELECT '24:00:00.01'::time;  -- not allowed
ERROR:  date/time field value out of range: "24:00:00.01"
LINE 1: SELECT '24:00:00.01'::time;
               ^
SELECT '23:59:60.01'::time;  -- not allowed
ERROR:  date/time field value out of range: "23:59:60.01"
LINE 1: SELECT '23:59:60.01'::time;
               ^
SELECT '24:01:00'::time;  -- not allowed
ERROR:  date/time field value out of range: "24:01:00"
LINE 1: SELECT '24:01:00'::time;
               ^
SELECT '25:00:00'::time;  -- not allowed
ERROR:  date/time field value out of range: "25:00:00"
LINE 1: SELECT '25:00:00'::time;
               ^
--
-- test EXTRACT
--
SELECT EXTRACT(MICROSECOND FROM TIME '2020-05-26 13:30:25.575401');
 extract  
----------
 25575401
(1 row)

SELECT EXTRACT(MILLISECOND FROM TIME '2020-05-26 13:30:25.575401');
  extract  
-----------
 25575.401
(1 row)

SELECT EXTRACT(SECOND      FROM TIME '2020-05-26 13:30:25.575401');
  extract  
-----------
 25.575401
(1 row)

SELECT EXTRACT(MINUTE      FROM TIME '2020-05-26 13:30:25.575401');
 extract 
---------
      30
(1 row)

SELECT EXTRACT(HOUR        FROM TIME '2020-05-26 13:30:25.575401');
 extract 
---------
      13
(1 row)

SELECT EXTRACT(DAY         FROM TIME '2020-05-26 13:30:25.575401');  -- error
ERROR:  "time" units "day" not recognized
SELECT EXTRACT(FORTNIGHT   FROM TIME '2020-05-26 13:30:25.575401');  -- error
ERROR:  "time" units "fortnight" not recognized
SELECT EXTRACT(TIMEZONE    FROM TIME '2020-05-26 13:30:25.575401');  -- error
ERROR:  "time" units "timezone" not recognized
SELECT EXTRACT(EPOCH       FROM TIME '2020-05-26 13:30:25.575401');
   extract    
--------------
 48625.575401
(1 row)

-- date_part implementation is mostly the same as extract, so only
-- test a few cases for additional coverage.
SELECT date_part('microsecond', TIME '2020-05-26 13:30:25.575401');
 date_part 
-----------
  25575401
(1 row)

SELECT date_part('millisecond', TIME '2020-05-26 13:30:25.575401');
 date_part 
-----------
 25575.401
(1 row)

SELECT date_part('second',      TIME '2020-05-26 13:30:25.575401');
 date_part 
-----------
 25.575401
(1 row)

SELECT date_part('epoch',       TIME '2020-05-26 13:30:25.575401');
  date_part   
--------------
 48625.575401
(1 row)