Url.host_field: def of bend-kit-url@0.4.1.0 Import: import bend-kit-url@0.4.1.0/url.bend as Url Lines 433-436 of bend-kit-url@0.4.1.0/url.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-url@0.4.1.0/url.bend&start_line=433&end_line=436 import Base def host_field(a: Abs) -> String: Abs{+scheme, +host, +port, target} = a +field = host_field.wrap(host, has(host, 58)) Bool.pick(String, U32.is_eq(port, abs.port.dflt(default_port(scheme))), field, field ++ ":" ++ U32.show(port)) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick 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=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=Abs https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=abs.port.dflt https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=default_port https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=has https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=host_field.wrap