law init_done_swaps

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

import Base
import bend-kube-runtime@0.2.0.0/src/json.bend as J
import bend-kube-runtime@0.2.0.0/src/watcher.bend as W
import bend-kube-runtime@0.2.0.0/src/store.bend as S

108# InitDone swaps the relisted buffer in whole: objects absent from the
109# relist leave the store, and the store is ready.
110law init_done_swaps:
111  for objs: Map<&2, J.Json>
112  for buf: Map<&2, J.Json>
113  for r: Bool
114  {S.Store.apply(S.Store{objs, buf, r}, W.OInitDone{})
115    == S.Store{buf, Map.new(&2, J.Json), True{}} : S.Store}