def len

emerging-ezjson@1.3.0.0 · src/value.bend:424

import Base

424# how many elements an array, or members an object, has; 0 for anything else
425def len(val: Json) -> U32:
426  match val:
427    case JArr{items}:
428      U32.from_nat(len.go(items))
429    case JObj{pairs}:
430      U32.from_nat(len.go(pairs))
431    case _:
432      0