def number

gralha-http-core@0.1.0.0 · http.bend:211

import gralha-http-core@0.1.0.0/http.bend as Http
import Base

211# A decimal number made of digits only, as Content-Length is.
212def number(+s: String) -> Maybe<&2, U32>:
213  when(Maybe<&2, U32>, digits(s), _ => U32.read(s), _ => None{})

Uses (6)

Used by (1)