def KCounter.merge_all

bend-kit-crdt@0.2.0.0 · crdt.bend:259

import Base

259# The merge of every state in the list.
260def KCounter.merge_all(~K: Data, ~cmp: K -> K -> Cmp, xs: List<&2, KCounter<K>>) -> KCounter<K>:
261  match xs:
262    case Nil{}:
263      KNil{}
264    case Con{x, t}:
265      KCounter.merge(~K, ~cmp, x, KCounter.merge_all(~K, ~cmp, t))