Proxy.Proxy.parse.go: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxy
Lines 259-266 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=259&end_line=266

import Base
import bend-kube-runtime@0.2.0.0/src/config.bend as K

def Proxy.parse.go(+u: String, http: Bool, other: Bool) -> Route:
  match http other:
    case True{} _:
      Proxy.parse.auth(K.Url.split_path(String.drop(u, 7n), ""))
    case False{} True{}:
      NoRoute{"HTTPS_PROXY: only http:// proxies are supported"}
    case False{} False{}:
      Proxy.parse.auth(K.Url.split_path(u, ""))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/config.bend&name=Url.split_path
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Proxy.parse.auth
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Route