def Format.show_time

bend-time-lib@0.4.0.1 · format.bend:101

import Base
import bend-time-lib@0.4.0.1/datetime.bend as DT

101def Format.show_time(time: DT.TimeOfDay) -> String:
102  match time:
103    case DT.TimeOfDay{h, mi, s, frac}:
104      String.append(
105        Format.pad2(h),
106        String.append(
107          ":",
108          String.append(
109            Format.pad2(mi),
110            String.append(
111              ":", String.append(Format.pad2(s), Format.show_frac(frac))
112            )
113          )
114        )
115      )