def publish_batches

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/routing.bend:41

import Base
import domains.bend as D

41def publish_batches(~S: Data,~E: Data,batches: List<&2,PendingBatch<S,E>>,+tick: Nat,domains: List<&2,D.Domain<S,E>>) -> List<&2,D.Domain<S,E>>:
42  match batches:
43    case []: domains
44    case PendingBatch{key,reversed} <> rest: publish_batches(~S,~E,rest,tick,publish_one(~S,~E,domains,key,tick,List.reverse(&2,E,reversed)))