Clock.parse_iso8601: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/clock.bend as Clock
Lines 235-242 of cswap-bend-cli@0.1.0.0/clock.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&start_line=235&end_line=242

import Base

# Unix seconds of `2026-10-30T09:00:00+00:00`, `...Z`, `...00.123456Z`, a
# `-HH:MM` offset, or a bare stamp (read as UTC); None when malformed.
def parse_iso8601(+s: String) -> Maybe<&2, U32>:
  do Maybe<&2, U32>:
    y : U32 <- num(s, 0n, 4n)
    mo : U32 <- num(s, 5n, 2n)
    d : U32 <- num(s, 8n, 2n)
    parse.time(s, y, mo, d)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=num
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=parse.time