def retry.sleep

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

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

4566def retry.sleep(+v: String, n: Nat) -> IO(Unit):
4567  do IO<Unit>:
4568    now : Time.Instant <- Time.now()
4569    rnd : Result<&1, &1, U32 & String, U32> <- IO.random_u32()
4570    IO.sleep(retry.delay(v, now, n, retry.jitter(rnd)))

Uses (14)

Used by (1)