law no_proxy_url_is_direct

bend-kube-runtime@0.2.0.0 · LAWS.bend:257

import Base
import bend-kube-runtime@0.2.0.0/src/proxy.bend as P

257# Without HTTPS_PROXY, connections are direct.
258law no_proxy_url_is_direct:
259  for port: U32
260  {P.Proxy.route("", "", "api.example.com", port) == P.Direct{} : P.Route}