def Json.is_num_chr

bend-kube-runtime@0.2.0.0 · src/json.bend:338

import Base

338def Json.is_num_chr(c: Char) -> Bool:
339  match c:
340    case '-':
341      True{}
342    case '+':
343      True{}
344    case '.':
345      True{}
346    case 'e':
347      True{}
348    case 'E':
349      True{}
350    case Chr{+x}:
351      Bool.and(U32.is_ge(x, 48), U32.is_le(x, 57))