def pool.origin.choice

bend-kit-http@0.38.2.0 · http.bend:3840

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

3840def pool.origin.choice(p: Pool, +method: String, ms: U32,
3841    headers: Map<&2, List<&2, String>>, body: Bytes.Bytes, hf: String,
3842    scheme: String, host: String, port: U32, target: String,
3843    cert: Maybe<&2, Cert>, +ca: String, choice: Maybe<&2, Proxy>) ->
3844    IO(Pool & Result<&1, &1, Err, Res>):
3845  match choice:
3846    case None{}:
3847      IO.pure(Pool & Result<&1, &1, Err, Res>, (p, Fail{ErrUrl{}}))
3848    case Some{proxy}:
3849      pool.origin.route(p, method, ms, origin.route(method, headers, body, hf,
3850        scheme, host, port, target, cert, ca, proxy))