def Format.show_instant.map

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

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

513def Format.show_instant.map(
514  r: Result<&2, &2, D.Date.Error, DT.OffsetDateTime>
515) -> Result<&2, &2, D.Date.Error, String>:
516  match r:
517    case Fail{e}:
518      Fail{e}
519    case Done{odt}:
520      Done{Format.show(odt)}