Http.proxy.select: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 3103-3110 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=3103&end_line=3110

import Base

def proxy.select(+scheme: String, +host: String, +port: U32) ->
    IO(Maybe<&2, Proxy>):
  +secure = String.eq(scheme, "https")
  do IO<Maybe<&2, Proxy>>:
    bypass : String <- proxy.env("no_proxy", "NO_PROXY")
    value : String <- proxy.env(Bool.pick(String, secure, "https_proxy", "http_proxy"),
      Bool.pick(String, secure, "HTTPS_PROXY", "HTTP_PROXY"))
    return proxy.choose(proxy.no_match(host, port, bypass), value)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Proxy
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=proxy.choose
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=proxy.env
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=proxy.no_match