def end_from_json

bendonnect-rpc@0.1.0.0 · src/error.bend:474

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

474def end_from_json(v: Json.Val) -> Maybe<&1, EndStream>:
475  match v:
476    case Json.Obj{kvs}:
477      end_fields(pick.go(kvs, "error", "metadata", "_", fs.empty()))
478    case Json.Null{}:
479      None{}
480    case Json.Flag{on}:
481      None{}
482    case Json.Num{s}:
483      None{}
484    case Json.Str{s}:
485      None{}
486    case Json.Arr{xs}:
487      None{}