Proxy.Proxy.route: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxy
Lines 302-307 of bend-kube-runtime@0.2.0.0/src/proxy.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&start_line=302&end_line=307

import Base

# How to reach host:port, given HTTPS_PROXY (url) and NO_PROXY (no):
# localhost and loopback addresses never use a proxy (as in Go), nor do
# hosts NO_PROXY lists, nor anything when no proxy is set.
def Proxy.route(+url: String, no: String, host: String, +port: U32) -> Route:
  +h = String.to_lower(host)
  Proxy.route.local(url, no, h, port, Proxy.is_local(h))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_lower
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Proxy.is_local
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Proxy.route.local
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Route