def get

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

import Base

895# §4: the value under key k of an object; the last one when k repeats, as most parsers do.
896def get(v: Val, k: String) -> Maybe<&1, Val>:
897  match v:
898    case Obj{kvs}:
899      get.go(kvs, (utf8(k), None{}))
900    case Null{}:
901      None{}
902    case Flag{on}:
903      None{}
904    case Num{n}:
905      None{}
906    case Str{s}:
907      None{}
908    case Arr{xs}:
909      None{}