15.5.5 External Representation of Time

The normal external representation for time is the time string, as described above. The procedures in this section generate alternate external representations of time which are more verbose and may be more suitable for presentation to human readers.

procedure: decoded-time/date-string decoded-time

procedure: decoded-time/time-string decoded-time

These procedures return strings containing external representations of the date and time, respectively, represented by decoded-time. The results are implicitly in local time.

(decoded-time/date-string (local-decoded-time))
    ⇒ "Tuesday March 30, 1999"
(decoded-time/time-string (local-decoded-time))
    ⇒ "11:22:38 AM"

procedure: day-of-week/long-string day-of-week

procedure: day-of-week/short-string day-of-week

Returns a string representing the given day-of-week. The argument must be an exact non-negative integer between 0 and 6 inclusive. day-of-week/long-string returns a long string that fully spells out the name of the day. day-of-week/short-string returns a shortened string that abbreviates the day to three letters.

(day-of-week/long-string 0)  ⇒ "Monday"
(day-of-week/short-string 0) ⇒ "Mon"
(day-of-week/short-string 3) ⇒ "Thu"

procedure: month/long-string month

procedure: month/short-string month

Returns a string representing the given month. The argument must be an exact non-negative integer between 1 and 12 inclusive. month/long-string returns a long string that fully spells out the name of the month. month/short-string returns a shortened string that abbreviates the month to three letters.

(month/long-string 1)   ⇒ "January"
(month/short-string 1)  ⇒ "Jan"
(month/short-string 10) ⇒ "Oct"

procedure: time-zone->string

Returns a string corresponding to the given time zone. This string is the same string that is used to generate RFC-822 time strings.

(time-zone->string 5)    ⇒ "-0500"
(time-zone->string -4)   ⇒ "+0400"
(time-zone->string 11/2) ⇒ "-0530"