law list_gone_relists

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

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

40# An expired continue token restarts the list from its first page.
41law list_gone_relists:
42  for c: String
43  for f: U32
44  for first: Bool
45  {W.Watcher.step(W.WState{W.WList{c}, f, first}, W.IListErr{410})
46    == W.Step{W.WState{W.WList{""}, f, True{}}, Nil{}, False{}} : W.Step}