def Exec.upgraded

bend-kube-runtime@0.2.0.0 · src/exec.bend:320

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

320def Exec.upgraded(s: Socket, rest: List<&2, U32>, stdin: Maybe<&2, String>, +k: U32, +ms: U32) ->
321  IO(Result<&2, &2, Cl.KErr, Out>):
322  match stdin:
323    case None{}:
324      Exec.listen(s, rest, ms)
325    case Some{text}:
326      IO.bind(Socket & Result<&1, &1, U32 & String, Unit>, Result<&2, &2, Cl.KErr, Out>,
327        N.Tls.send_bytes(s, Exec.input(text, k), ms), p => Exec.sent(p, rest, ms))