def u32.lead

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

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

import Base

557def u32.lead(+c: U32, t: String, zero: Bool) -> Maybe<&2, U32>:
558  match zero:
559    case True{}:
560      u32.zero(t)
561    case False{}:
562      u32.dig(t, (c - 48 : U32), Bool.or(Bool.not(digit(c)), u32.over(0, c)))

Uses (11)

Used by (1)

bend-net-json@0.3.0.0/json:u32.num