def Call.read

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

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

343def Call.read(t: Res(N.Tls)) -> IO(Result<&2, &2, KErr, Reply>):
344  match t:
345    case Done{N.Tls{s}}:
346      IO.bind(Socket & H.Resp, Result<&2, &2, KErr, Reply>,
347        Conn.read(4294967295n, RChk{s, False{}, False{}, False{}}, H.Http.resp.init(), 60000),
348        Call.read.fin)
349    case Fail{(c, m)}:
350      IO.pure(Result<&2, &2, KErr, Reply>, Fail{KNet{c, m}})