def Exec.close

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

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

294def Exec.close(p: Socket & Result<&2, &2, Cl.KErr, Out>) -> IO(Result<&2, &2, Cl.KErr, Out>):
295  match p:
296    case (s, r):
297      IO.bind(Unit, Result<&2, &2, Cl.KErr, Out>, N.Tls.close(s),
298        u => IO.pure(Result<&2, &2, Cl.KErr, Out>, r))