~/jendhub

def LocalDateTime.add_period.map

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

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

362def LocalDateTime.add_period.map(
363  time: TimeOfDay, r: Result<&2, &2, D.Date.Error, D.Date>
364) -> Result<&2, &2, D.Date.Error, LocalDateTime>:
365  match r:
366    case Fail{e}:
367      Fail{e}
368    case Done{date2}:
369      Done{LocalDateTime{date2, time}}

Uses (5)

Used by (1)