def stream.reused

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

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

4993def stream.reused(p: Pool, +ms: U32, +head: Bool, +idem: Bool, +key: String, route: Route, spare: Bytes.Bytes,
4994    x: Bool & Result<&1, &1, Err, Stream>) -> IO(Pool & Result<&1, &1, Err, Stream>):
4995  (+none, r) = x
4996  match r:
4997    case Done{st}:
4998      IO.pure(Pool & Result<&1, &1, Err, Stream>, (p, Done{st}))
4999    case Fail{e}:
5000      stream.stale(pool.retry(none, idem), p, ms, head, key, route, spare, e)

Uses (15)

Used by (1)