~/jendhub

def LocalDateTime.add_period

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

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/period.bend as Per

371def LocalDateTime.add_period(
372  ldt: LocalDateTime, p: Per.Period
373) -> Result<&2, &2, D.Date.Error, LocalDateTime>:
374  match ldt:
375    case LocalDateTime{+date, +time}:
376      LocalDateTime.add_period.map(time, Per.Period.add_to(p, date))

Uses (6)

Used by (1)