Http.hear.done: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 1672-1684 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=1672&end_line=1684

import Base

# whether the response has all arrived
def hear.done(h: Hear) -> Bool:
  match h:
    case Heads{fuel, asked, raw}:
      False{}
    case Whole{}:
      True{}
    case Never{}:
      False{}
    case Count{n, have}:
      Bool.not(Nat.is_lt(have, n))
    case Walking{w}:
      walk.done(w)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Hear
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=walk.done