Http.retry.sleep: def of bend-kit-http@0.38.2.0 Import: import bend-kit-http@0.38.2.0/http.bend as Http Lines 4562-4566 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=4562&end_line=4566 import Base import bend-kit-time@0.3.0.0/time.bend as Time def retry.sleep(+v: String, n: Nat) -> IO(Unit): do IO: now : Time.Instant <- Time.now() rnd : Result<&1, &1, U32 & String, U32> <- IO.random_u32() IO.sleep(retry.delay(v, now, n, retry.jitter(rnd))) Uses (14): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.random_u32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.sleep https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=retry.delay https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=retry.jitter https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=Instant https://jend.leeeet.dev/definition.txt?path=bend-kit-time@0.3.0.0/time.bend&name=now