def u32.num

bend-net-json@0.3.0.0 · json.bend:564

import bend-net-json@0.3.0.0/json.bend as Json

import Base

564def u32.num(s: String) -> Maybe<&2, U32>:
565  match s:
566    case SNil{}:
567      None{}
568    case SCon{Chr{+c}, t}:
569      u32.lead(c, t, U32.is_eq(c, 48))

Uses (6)

Used by (1)

bend-net-json@0.3.0.0/json:u32