~/jendhub

def Stream.close

bend-kube-runtime@0.2.0.0 · src/stream.bend:123

import bend-kube-runtime@0.2.0.0/src/stream.bend as Stream
import Base
import bend-kube-runtime@0.2.0.0/src/net.bend as N

123def Stream.close(~S: Type, p: Socket & Res(S)) -> IO(Res(S)):
124  match p:
125    case (s, r):
126      IO.bind(Unit, Res(S), N.Tls.close(s), u => IO.pure(Res(S), r))

Uses (9)

Used by (1)