Client.err.show: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/transport/client.bend as Client
Lines 39-49 of bendonnect-rpc@0.1.0.0/src/transport/client.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/transport/client.bend&start_line=39&end_line=49

import Base
import bend-kit-http@0.36.0.0/http.bend as Http

def err.show(e: Http.Err) -> String:
  match e:
    case Http.ErrUrl{}: "invalid URL"
    case Http.ErrDns{}: "DNS resolution failed"
    case Http.ErrConnect{code, why}: "connect failed: " ++ why ++ " (" ++ U32.show(code) ++ ")"
    case Http.ErrTls{code, why}: "TLS failed: " ++ why
    case Http.ErrRead{code, why}: "read failed: " ++ why ++ " (" ++ U32.show(code) ++ ")"
    case Http.ErrWrite{code, why}: "write failed: " ++ why ++ " (" ++ U32.show(code) ++ ")"
    case Http.ErrTimeout{}: "timeout"
    case Http.ErrRedirect{}: "unexpected redirect"
    case Http.ErrBad{}: "malformed HTTP response"

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Err