def rd.brk.of

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

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

860def rd.brk.of(+fuel: Nat, +kind: U32) -> Dec(Retry.State):
861  Bool.pick(Dec(Retry.State), U32.is_eq(kind, 0), rd.closed(fuel),
862  Bool.pick(Dec(Retry.State), U32.is_eq(kind, 1), Dec.bind(Nat, Retry.State, rd.u64(), u => Dec.pure(Retry.State, Retry.CircuitOpen{u})),
863  Bool.pick(Dec(Retry.State), U32.is_eq(kind, 2), Dec.bind(Nat, Retry.State, rd.u64(), k => Dec.pure(Retry.State, Retry.CircuitHalf{k})), Dec.fail(Retry.State))))