def read.map.entries

bendonnect-rpc@0.1.0.0 · src/pbjson.bend:379

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

379# A map field's entries (keys as strings); null is an empty map.
380def read.map.entries(v: Json.Val) -> Result<&2, &1, String, List<&1, String & Json.Val>>:
381  match v:
382    case Json.Obj{kvs}:
383      Done{fields.go(kvs)}
384    case Json.Null{}:
385      Done{Nil{}}
386    case Json.Flag{on}:
387      Fail{"expected a JSON object for a map field"}
388    case Json.Num{s}:
389      Fail{"expected a JSON object for a map field"}
390    case Json.Str{s}:
391      Fail{"expected a JSON object for a map field"}
392    case Json.Arr{xs}:
393      Fail{"expected a JSON object for a map field"}