def u32.lead

bend-kit-json@0.7.0.0 · json.bend:959

import bend-kit-json@0.7.0.0/json.bend as Json

import Base

959def u32.lead(+c: U32, t: String, zero: Bool) -> Maybe<&2, U32>:
960  match zero:
961    case True{}:
962      u32.zero(t)
963    case False{}:
964      u32.dig(t, (c - 48 : U32), Bool.or(Bool.not(digit(c)), u32.over(0, c)))

Uses (11)

Used by (1)

bend-kit-json@0.7.0.0/json:u32.num