def Tls.open.proxied

bend-kube-runtime@0.2.0.0 · src/net.bend:106

import Base

106def Tls.open.proxied(d: Res(Socket), req: String, +host: String, ca: String, cert: String,
107  key: String, +ms: U32) -> IO(Res(Socket)):
108  match d:
109    case Done{s}:
110      IO.bind(Socket & Res(Unit), Res(Socket), Tls.send(s, req, ms),
111        p => Tls.open.sent(p, host, ca, cert, key, ms))
112    case Fail{(c, m)}:
113      IO.pure(Res(Socket), Fail{(c, "proxy: " ++ m)})