def rd.brks

bend-kit-runner@0.13.0.1 · runner.bend:874

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

874def rd.brks(+fuel: Nat, more: Bool, acc: Map<&2, Retry.State>) -> Dec(Map<&2, Retry.State>):
875  match fuel more:
876    case 0n b:
877      Dec.fail(Map<&2, Retry.State>)
878    case 1n+f False{}:
879      Dec.pure(Map<&2, Retry.State>, acc)
880    case 1n+f True{}:
881      do Dec<Map<&2, Retry.State>>:
882        k : String <- rd.key(f)
883        b : Retry.State <- rd.brk(f)
884        m : Bool <- rd.flag()
885        rd.brks(f, m, Map.set(&2, Retry.State, acc, k, b))