def Instant.from.date

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

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

101def Instant.from.date(
102  +days: U32, +sod: U32, +nanos: U32, r: Result<&2, &2, D.Date.Error, D.Date>
103) -> Result<&2, &2, Instant.Error, Instant>:
104  match r:
105    case Fail{_}:
106      Fail{OutOfRange{}}
107    case Done{_}:
108      Done{Instant{days, sod, nanos}}

Uses (6)

Used by (1)