Iso8601.Iso8601.dur.go: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 527-541 of bend-time-lib@0.4.0.1/iso8601.bend: https://jend.leeeet.dev/read.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&start_line=527&end_line=541

import Base
import bend-time-lib@0.4.0.1/duration.bend as Dur

def Iso8601.dur.go(
  s: String, +off: Nat, c: Iso8601.DurC
) -> Result<&2, &2, Iso8601.Error, Dur.Duration>:
  match s c:
    case _ DurFail{e}:
      Fail{e}
    case SNil{} DurCont{st, mode}:
      Iso8601.dur.eof(st, mode)
    case SCon{+h, t} DurCont{st, mode}:
      Iso8601.dur.go(
        t, 1n+off,
        Iso8601.dur.act(
          off, st, mode, h, Char.is_eq(h, 'T'), Char.is_digit(h)
        )
      )

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_digit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/duration.bend&name=Duration
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.DurC
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.Error
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.dur.act
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.dur.eof