def digits

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

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

import Base

204def digits(s: String) -> Bool:
205  match s:
206    case SNil{}:
207      True{}
208    case SCon{Chr{+c}, t}:
209      U32.is_ge(c, 48) && U32.is_le(c, 57) && digits(t)

Uses (6)

Used by (1)

gralha-http-core@0.1.0.0/http:number