~/jendhub

def Datetime.inst_ldt.tod

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

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

305def Datetime.inst_ldt.tod(
306  date: D.Date, r: Result<&2, &2, TimeOfDay.Error, TimeOfDay>
307) -> Result<&2, &2, I.Instant.Error, LocalDateTime>:
308  match r:
309    case Fail{_}:
310      Fail{I.OutOfRange{}}
311    case Done{tod}:
312      Done{LocalDateTime{date, tod}}

Uses (6)

Used by (1)