def u32

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

import bend-kit-json@0.7.0.0/json.bend as Json
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

973# A number that is a whole U32, with no sign, fraction or exponent.
974def u32(v: Val) -> Maybe<&2, U32>:
975  match v:
976    case Num{s}:
977      u32.num(Bytes.to_string(s))
978    case Null{}:
979      None{}
980    case Flag{on}:
981      None{}
982    case Str{s}:
983      None{}
984    case Arr{xs}:
985      None{}
986    case Obj{kvs}:
987      None{}

Uses (5)

Used by (0)

No other definition uses this definition.