def strs_push

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

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

381def strs_push(v: Json.Val, rest: List<&2, String>) -> List<&2, String>:
382  match v:
383    case Json.Str{s}:
384      Con{Enc.utf8.decode(s), rest}
385    case Json.Null{}:
386      rest
387    case Json.Flag{on}:
388      rest
389    case Json.Num{s}:
390      rest
391    case Json.Arr{xs}:
392      rest
393    case Json.Obj{kvs}:
394      rest