Error.detail_to_json: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/error.bend as Error
Lines 50-52 of bendonnect-rpc@0.1.0.0/src/error.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&start_line=50&end_line=52

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

def detail_to_json(d: Detail) -> Json.Val:
  Detail{+ty, value, debug} = d
  Json.Obj{Con{kv("type", str_val(ty)), Con{kv("value", str_val(B64.encode_std_raw(value))), debug_part(debug)}}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/b64.bend&name=encode_std_raw
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=Detail
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=debug_part
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=kv
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/error.bend&name=str_val