~/jendhub

def parse.time

cswap-bend-cli@0.1.0.0 · clock.bend:228

import cswap-bend-cli@0.1.0.0/clock.bend as Clock
import Base

228def parse.time(+s: String, y: U32, mo: U32, d: U32) -> Maybe<&2, U32>:
229  do Maybe<&2, U32>:
230    h : U32 <- num(s, 11n, 2n)
231    mi : U32 <- num(s, 14n, 2n)
232    sec : U32 <- num(s, 17n, 2n)
233    parse.fin(s, y, mo, d, h, mi, sec)

Uses (6)

Used by (1)