def up.origin
bend-kit-http@0.38.5.0 · http.bend:5430
import bend-kit-http@0.38.5.0/http.bend as Http
import Base
import bend-kit-url@0.4.1.0/url.bend as Url
5430def up.origin(+method: String, +ms: U32, headers: Map<&2, List<&2, String>>,
5431 hf: String, a: Url.Abs, known: Bool, cert: Maybe<&2, Cert>, +ca: String) ->
5432 IO(Result<&1, &1, Err, Up>):
5433 Url.Abs{+scheme, +host, +port, target} = a
5434 match known:
5435 case False{}:
5436 IO.pure(Result<&1, &1, Err, Up>, Fail{ErrUrl{}})
5437 case True{}:
5438 do IO<Result<&1, &1, Err, Up>>:
5439 choice : Maybe<&2, Proxy> <- proxy.select(scheme, host, port)
5440 up.origin.choice(method, ms, headers, hf, scheme, host, port, target,
5441 cert, ca, choice)