Redirect.redirect.on: def of emerging-ezhttp@0.22.0.0
Import: import emerging-ezhttp@0.22.0.0/src/redirect.bend as Redirect
Lines 278-284 of emerging-ezhttp@0.22.0.0/src/redirect.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.22.0.0/src/redirect.bend&start_line=278&end_line=284

import Base

# a response once it is known whether its status redirects
def redirect.on(url: String, +loc: String, moved: Bool) -> Hop:
  match moved:
    case True{}:
      redirect.hop(redirect.target(url, loc))
    case False{}:
      Stop{}

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=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/redirect.bend&name=Hop
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/redirect.bend&name=redirect.hop
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.22.0.0/src/redirect.bend&name=redirect.target