Iso8601.Iso8601.per.go: def of bend-time-lib@0.4.0.1
Import: import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
Lines 766-780 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=766&end_line=780

import Base
import bend-time-lib@0.4.0.1/period.bend as Per

def Iso8601.per.go(
  s: String, +off: Nat, c: Iso8601.PerC
) -> Result<&2, &2, Iso8601.Error, Per.Period>:
  match s c:
    case _ PerFail{e}:
      Fail{e}
    case SNil{} PerCont{st, mode}:
      Iso8601.per.eof(st, mode)
    case SCon{+h, t} PerCont{st, mode}:
      Iso8601.per.go(
        t, 1n+off,
        Iso8601.per.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/iso8601.bend&name=Iso8601.Error
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.PerC
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.per.act
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/iso8601.bend&name=Iso8601.per.eof
  https://jend.leeeet.dev/definition.txt?path=bend-time-lib@0.4.0.1/period.bend&name=Period