def err.show

bendonnect-rpc@0.1.0.0 · src/transport/client.bend:39

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

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