def Iso8601.per.go
bend-time-lib@0.4.0.1 · iso8601.bend:766
import bend-time-lib@0.4.0.1/iso8601.bend as Iso8601
import Base
import bend-time-lib@0.4.0.1/period.bend as Per
766def Iso8601.per.go(
767 s: String, +off: Nat, c: Iso8601.PerC
768) -> Result<&2, &2, Iso8601.Error, Per.Period>:
769 match s c:
770 case _ PerFail{e}:
771 Fail{e}
772 case SNil{} PerCont{st, mode}:
773 Iso8601.per.eof(st, mode)
774 case SCon{+h, t} PerCont{st, mode}:
775 Iso8601.per.go(
776 t, 1n+off,
777 Iso8601.per.act(
778 off, st, mode, h, Char.is_eq(h, 'T'), Char.is_digit(h)
779 )
780 )