Http.whole.at: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 1370-1377 of emerging-ezhttp@0.21.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&start_line=1370&end_line=1377

import Base

# a response whose head has ended, or not yet
def whole.at(asked: Bool, c: Cut, rest: Cut -> Bool) -> Bool:
  match c:
    case NoCut{}:
      False{}
    case Cut{before, after}:
      +ls = String.lines(before)
      whole.step(asked, ls, after, status.interim(status.of(ls)), rest)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Cut
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=status.interim
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=status.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=whole.step