def closed.fail

bend-kit-retry@0.3.0.0 · retry.bend:120

import bend-kit-retry@0.3.0.0/retry.bend as Retry

import Base

120def closed.fail(+c: Circuit, fs: List<&2, Nat>, +now: Nat) -> State:
121  Circuit{+t, +w, +cd, p} = c
122  +kept = {Con{now, prune(now, w, fs)} : List<&2, Nat>}
123  closed.trip(Nat.is_lt(List.length(&2, Nat, kept), t), kept, Nat.add(now, cd))

Uses (9)

Used by (1)

bend-kit-retry@0.3.0.0/retry:State.done