(active-job-invariant {:keys [task-slot-ids peers allocations peer-sites
prepared accepted pairs jobs]
:as replica})
(all-coordinators-exist replica)
(all-groups-invariant {:keys [groups prepared accepted pairs] :as replica})
(all-jobs-have-coordinator replica)
(all-peers-are-group-indexed replica)
(all-peers-are-reverse-group-indexed replica)
(all-tasks-have-non-zero-peers replica)
(allocations-invariant {:keys [peers allocations] :as replica})
(group-index-keys-never-nil replica)
(group-index-vals-never-nil replica)
(no-extra-coordinators replica)
(peer-site-invariant {:keys [peer-sites peers prepared accepted pairs]
:as replica})
(short-identifiers-correct replica)
(slot-id-invariant {:keys [task-slot-ids peers] :as replica})
(version-invariant {:keys [version] :as replica})
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close