def stream.route

bend-kit-http@0.38.5.0 · http.bend:5033

import Base

5033# One HTTP/1.1 connection per stream: an idle one from the pool, else a new one. The request keeps it alive.
5034# A reused socket that fails before any response byte is tried once more on a new one, for an idempotent method.
5035def stream.route(p: Pool, +ms: U32, r: String & Send & Route) -> IO(Pool & Result<&1, &1, Err, Stream>):
5036  (+key, request, route) = r
5037  Send{+method, target, authority, headers, body} = request
5038  do IO<Pool & Result<&1, &1, Err, Stream>>:
5039    taken : Pool & Maybe<&1, Conn> <- pool.take.live(p, key)
5040    stream.take(taken, ms, String.eq(method, "HEAD"), pool.idempotent(method), key, route,
5041      encode_req.on(method, target, authority, headers, body, False{}))