Time

A Time value represents a wall clock time.

Input format

A Time value is specified as a string in H:MM:SS format. The number of hours can be any integer between 0 and 23, and the number of minutes and the number of seconds can be any integer between 0 and 59 (inclusive), zero-padded to a length of 2 characters. The seconds can be left of, to denote :00. The following examples are all valid:

0:00:00
23:15:05
2:13:37

Output format

In JSON output, Time values are encoded in exactly the same way as in the input: strings in H:MM:SS format, for example:

[
   "0:00:00",
   "23:15:05",
   "2:13:37"
]