Url.parse.scheme: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/url.bend as Url Lines 147-154 of emerging-ezhttp@0.21.0.0/src/url.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&start_line=147&end_line=154 import Base # a url split on its colons: the first piece is the scheme, and a colon in the # path survives because the rest is joined back up def parse.scheme(ps: List<&2, String>) -> Loc: match ps: case []: Bad{"an empty url"} case h <> t: parse.rest(String.to_lower(h), String.join(t, ":")) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_lower https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&name=Loc https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&name=parse.rest