def end_encode

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

import bendonnect-rpc@0.1.0.0/src/error.bend as Error
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

377def end_encode(e: EndStream) -> Bytes.Bytes:
378  EndStream{error, metadata} = e
379  Json.encode.bytes(Json.Obj{err_part(error, meta_part(Map.to_list(&2, List<&2, String>, metadata)))})

Uses (9)

Used by (1)