Client.client.hop: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/client.bend as Client
Lines 103-111 of emerging-ezhttp@0.21.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&start_line=103&end_line=111

import Base
import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect

# the next hop after a response (redirect.bend), and the response; a failed
# exchange stops
def client.hop(left: Nat, url: String, r: Response) -> Redirect.Hop & Response:
  match r:
    case Err{why}:
      (Redirect.Stop{}, Err{why})
    case Response{+status, +headers, reason, bytes}:
      (Redirect.redirect.plan(left, url, status, headers),
        Response{status, headers, reason, bytes})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&name=Response
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=Hop
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=redirect.plan