~/jendhub

def Iso8601.dur.seek

bend-time-lib@0.4.0.1 · iso8601.bend:509

import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base

509def Iso8601.dur.seek(
510  off: Nat, st: Iso8601.DurS, h: Char, is_t: Bool, is_dig: Bool
511) -> Iso8601.DurC:
512  match is_t:
513    case True{}:
514      Iso8601.dur.cont_r(Iso8601.dur.put_t(st), DSeek{})
515    case False{}:
516      Iso8601.dur.seek2(off, st, h, is_dig)

Uses (9)

Used by (1)