~/jendhub

def Conn.open.sent

bend-kube-runtime@0.2.0.0 · src/client.bend:242

import bend-kube-runtime@0.2.0.0/src/client.bend as Client
import Base
import bend-kube-runtime@0.2.0.0/src/net.bend as N

242# Opens a connection and sends req: the socket, ready to read the answer.
243def Conn.open.sent(p: Socket & Res(Unit)) -> IO(Res(N.Tls)):
244  match p:
245    case (s, Done{u}):
246      IO.pure(Res(N.Tls), Done{N.Tls{s}})
247    case (s, Fail{e}):
248      IO.bind(Unit, Res(N.Tls), N.Tls.close(s), u => IO.pure(Res(N.Tls), Fail{e}))

Uses (11)

Used by (2)