law proxy_skips_localhost

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

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

237# localhost and loopback addresses never go through a proxy, whatever
238# HTTPS_PROXY and NO_PROXY say.
239law proxy_skips_localhost:
240  for url: String
241  for no: String
242  for port: U32
243  {P.Proxy.route(url, no, "localhost", port) == P.Direct{} : P.Route}