def details_val

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

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

262def details_val(v: Json.Val) -> List<&1, Detail>:
263  match v:
264    case Json.Arr{xs}:
265      details_go(xs)
266    case Json.Null{}:
267      Nil{}
268    case Json.Flag{on}:
269      Nil{}
270    case Json.Num{s}:
271      Nil{}
272    case Json.Str{s}:
273      Nil{}
274    case Json.Obj{kvs}:
275      Nil{}