LAWS.eof_mid_response_is_broken: law of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/LAWS.bend as LAWS
Lines 224-232 of bend-kube-runtime@0.2.0.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/LAWS.bend&start_line=224&end_line=232

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

# Bytes of a response make an early end a broken response, never retried.
law eof_mid_response_is_broken:
  for b: U32
  for bs: List<&2, U32>
  for t: U32
  for h: Maybe<&2, H.Head>
  for o: List<&2, U32>
  {H.Http.eof(H.Resp{H.PHead{b <> bs, t}, h, o})
    == H.Resp{H.PErr{"connection closed mid-response"}, h, o} : H.Resp}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Head
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.eof
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Phase
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Resp