def Exec.headed

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

import Base
import bend-kube-runtime@0.2.0.0/src/utf8.bend as U
import bend-kube-runtime@0.2.0.0/src/http.bend as H
import bend-kube-runtime@0.2.0.0/src/client.bend as Cl

358def Exec.headed(p: Socket & Result<&2, &2, Cl.KErr, Scan>, stdin: Maybe<&2, String>, +k: U32,
359  +ms: U32) -> IO(Result<&2, &2, Cl.KErr, Out>):
360  match p:
361    case (s, Done{Scan{head, m, rest, f}}):
362      Exec.answer(s, H.Http.parse_head(U.Utf8.decode_all(List.reverse(&2, U32, head))), rest,
363        stdin, k, ms)
364    case (s, Fail{e}):
365      Exec.close((s, Fail{e}))