def Instant.to_utc_date

bend-time-lib@0.4.0.1 · instant.bend:58

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

58def Instant.to_utc_date(i: Instant) -> Result<&2, &2, D.Date.Error, D.Date>:
59  match i:
60    case Instant{days, _, _}:
61      D.Date.from_days(days)

Uses (5)

Used by (0)

No other definition uses this definition.