Redirect.redirect.next: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect
Lines 286-293 of emerging-ezhttp@0.21.0.0/src/redirect.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&start_line=286&end_line=293

import Base

# the next hop from `url`, after a response with `status` and Location `loc`
# ("" when it had none), with `left` hops still allowed
def redirect.next(left: Nat, url: String, +status: U32, +loc: String) -> Hop:
  match left:
    case 0n:
      Stop{}
    case 1n+p:
      redirect.on(url, loc, redirect.is(status))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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.is
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=redirect.on