def Call.read.fin

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

import Base
import bend-kube-runtime@0.2.0.0/src/http.bend as H
import bend-kube-runtime@0.2.0.0/src/net.bend as N

337def Call.read.fin(p: Socket & H.Resp) -> IO(Result<&2, &2, KErr, Reply>):
338  match p:
339    case (s, r):
340      IO.bind(Unit, Result<&2, &2, KErr, Reply>, N.Tls.close(s),
341        u => IO.pure(Result<&2, &2, KErr, Reply>, Reply.of(H.Http.take(r))))