#### 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"