Json.as_u32: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/json.bend as Json
Lines 328-334 of cswap-bend-cli@0.1.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/json.bend&start_line=328&end_line=334

import Base

# A non-negative integer that fits U32; `5.0`, `-1` and `1e3` are None.
def as_u32(j: Json) -> Maybe<&2, U32>:
  match j:
    case JNum{t}:
      U32.read(t)
    case _:
      None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.read
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json