def to_json

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

import Base
import bend-kit-json@0.6.1.1/json.bend as Json
import bendonnect-rpc@0.1.0.0/src/code.bend as Code

78def to_json(e: Error) -> Json.Val:
79  Error{code, message, details} = e
80  Json.Obj{Con{kv("code", str_val(Code.to_string(code))), message_part(message, details_part(details, Nil{}))}}