Net.Tls.open.proxied: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/net.bend as Net
Lines 106-113 of bend-kube-runtime@0.2.0.0/src/net.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&start_line=106&end_line=113

import Base

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

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  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
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&name=Tls.open.sent
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&name=Tls.send