def details_part

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

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

61def details_part(ds: List<&1, Detail>, rest: List<&1, Bytes.Bytes & Json.Val>) -> List<&1, Bytes.Bytes & Json.Val>:
62  match ds:
63    case Nil{}:
64      rest
65    case Con{h, t}:
66      Con{kv("details", Json.Arr{Con{detail_to_json(h), details_json(t)}}), rest}