law init_clears_buffer

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

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

100# A relist starts from an empty buffer, whatever the store held.
101law init_clears_buffer:
102  for objs: Map<&2, J.Json>
103  for buf: Map<&2, J.Json>
104  for r: Bool
105  {S.Store.apply(S.Store{objs, buf, r}, W.OInit{})
106    == S.Store{objs, Map.new(&2, J.Json), r} : S.Store}