Redirect.redirect.at: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect
Lines 248-254 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=248&end_line=254

import Base
import emerging-ezhttp@0.21.0.0/src/url.bend as Url

# a Location against the current URL, once it is parsed
def redirect.at(l: Url.Loc, +loc: String) -> Maybe<&2, String>:
  match l:
    case Url.Bad{why}:
      None{}
    case Url.Loc{scheme, host, port, path}:
      redirect.against(scheme, host, port, path, loc, redirect.sort(loc))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/redirect.bend&name=redirect.against
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=redirect.sort
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&name=Loc