def retry.sleep

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

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

4562def retry.sleep(+v: String, n: Nat) -> IO(Unit):
4563  do IO<Unit>:
4564    now : Time.Instant <- Time.now()
4565    rnd : Result<&1, &1, U32 & String, U32> <- IO.random_u32()
4566    IO.sleep(retry.delay(v, now, n, retry.jitter(rnd)))

Uses (14)

Used by (1)