def PEv.fin

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

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

436def PEv.fin(+reused: Bool, idem: Bool, p: Socket & H.Resp) -> PEv:
437  match p:
438    case (s, +r):
439      PFin{s, r, Bool.and(H.Http.is_done(r), Bool.not(Http.closes(r))),
440        Bool.and(reused, Bool.and(Bool.not(H.Http.is_done(r)), Bool.and(Bool.not(Http.got_any(r)), idem)))}