def Format.read_instant.map

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

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

527def Format.read_instant.map(
528  r: Result<&2, &2, Format.Error, DT.OffsetDateTime>
529) -> Result<&2, &2, Format.Error, I.Instant>:
530  match r:
531    case Fail{e}:
532      Fail{e}
533    case Done{odt}:
534      Done{DT.OffsetDateTime.to_instant(odt)}