def OffsetDateTime.to_unix.map

bend-time-lib@0.4.0.1 · datetime.bend:175

import bend-time-lib@0.4.0.1/datetime.bend as Datetime
import Base
import bend-time-lib@0.4.0.1/date.bend as D
import bend-time-lib@0.4.0.1/instant.bend as I

175def OffsetDateTime.to_unix.map(
176  r: Result<&2, &2, I.Instant.Error, U32>
177) -> Result<&2, &2, D.Date.Error, U32>:
178  match r:
179    case Fail{_}:
180      Fail{D.OutOfRange{}}
181    case Done{n}:
182      Done{n}

Uses (4)

Used by (1)