def pool.stale

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

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

3736def pool.stale(p: Pool, +key: String, +ms: U32, request: Send,
3737    e: Err, again: Bool, route: Route) ->
3738    IO(Pool & Result<&1, &1, Err, Res>):
3739  match again:
3740    case True{}:
3741      pool.fresh(p, key, ms, request, route)
3742    case False{}:
3743      IO.pure(Pool & Result<&1, &1, Err, Res>, (p, Fail{e}))

Uses (14)

Used by (1)