Redirect.redirect.split.of: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/redirect.bend as Redirect Lines 114-120 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=114&end_line=120 import Base import emerging-ezhttp@0.21.0.0/src/http.bend as Http # a Location divided at its first `?` def redirect.split.of(c: Http.Cut, loc: String) -> Ref: match c: case Http.NoCut{}: Ref{loc, ""} case Http.Cut{before, after}: Ref{before, "?" ++ after} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Cut https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/redirect.bend&name=Ref