def detail_of

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

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

233def detail_of(v: Json.Val) -> Maybe<&1, Detail>:
234  match v:
235    case Json.Obj{kvs}:
236      detail_fields(pick.go(kvs, "type", "value", "debug", fs.empty()))
237    case Json.Null{}:
238      None{}
239    case Json.Flag{on}:
240      None{}
241    case Json.Num{s}:
242      None{}
243    case Json.Str{s}:
244      None{}
245    case Json.Arr{xs}:
246      None{}