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

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

# a Location's path and query, its fragment dropped
def redirect.split(+loc: String) -> Ref:
  +bare = Url.frag.drop(loc)
  redirect.split.of(Http.divide(bare, "?"), bare)

Uses (5):
  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/http.bend&name=divide
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=Ref
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=redirect.split.of
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&name=frag.drop