def Format.show_date

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

import Base
import bend-time-lib@0.4.0.1/date.bend as D

71def Format.show_date(date: D.Date) -> String:
72  match date:
73    case D.Date{y, m, d}:
74      String.append(
75        Format.pad4(y),
76        String.append(
77          "-", String.append(Format.pad2(m), String.append("-", Format.pad2(d)))
78        )
79      )