def request.as

bend-kit-hairpin@0.14.0.0 · hairpin.bend:447

import Base
import bend-kit-http@0.38.1.1/http.bend as Http
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-retry@0.3.0.0/retry.bend as Retry

447# One request inside a caller's retry layer, with every choice explicit. Every attempt takes from b, the
448# caller's shared budget, and obeys its deadline; the client's own policy caps the attempts of this call.
449# The budget left comes back beside the result: pass it to the next call, so nested layers never reset or
450# multiply it. The client's own deadline does not apply here; b's does.
451# judge: the Verdict on each attempt; Hairpin.judge is the default. idem: the request is safe to repeat, so
452# Again is retried; else the breaker counts it and it never repeats. enc: the Accept-Encoding codings.
453def request.as(~judge: Result<&1, &1, Http.Err, Http.Res> -> Result<&1, &1, Http.Err, Http.Res> & Verdict,
454    c: Client, b: Retry.Budget, +idem: Bool, +enc: String, +method: String, url: String,
455    headers: Map<&2, List<&2, String>>, body: Bytes.Bytes) -> IO(Client & Retry.Budget & Result<&1, &1, Err, Http.Res>):
456  run(~Http.Res, ~judge, ~try.res, ~close.res, c, b, idem, enc, method, url, headers, body)