def digits.read

emerging-ezhttp@0.21.0.0 · src/http.bend:220

import Base

220# a short decimal (Content-Length, max-age). Empty is none. At most 9 digits.
221def digits.read(s: String) -> Maybe<&2, Nat>:
222  match s:
223    case SNil{}:
224      None{}
225    case SCon{h, t}:
226      digits.go(SCon{h, t}, 0n, 9n)