law watch_gone_relists

bend-kube-runtime@0.2.0.0 · LAWS.bend:22

import Base
import bend-kube-runtime@0.2.0.0/src/core.bend as C
import bend-kube-runtime@0.2.0.0/src/watcher.bend as W

22# A watch that answers 410 Gone relists from scratch, at once.
23law watch_gone_relists:
24  for rv: String
25  for f: U32
26  for first: Bool
27  for r: String
28  for m: String
29  {W.Watcher.step(W.WState{W.WWatch{rv}, f, first}, W.IEvent{C.WError{C.Status{410, r, m}}})
30    == W.Step{W.WState{W.WList{""}, f, True{}}, Nil{}, False{}} : W.Step}