Routing.publish_batches: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend as Routing
Lines 41-44 of bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend&start_line=41&end_line=44

import Base
import domains.bend as D

def 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>>:
  match batches:
    case []: domains
    case PendingBatch{key,reversed} <> rest: publish_batches(~S,~E,rest,tick,publish_one(~S,~E,domains,key,tick,List.reverse(&2,E,reversed)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend&name=Domain
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend&name=PendingBatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/internal/relation_failures/routing.bend&name=publish_one