def retained_batch_join

bendvy-ecs-core@0.1.0.4 · event_notice_runtime.bend:68

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/event_family_runtime.bend as Family

68def retained_batch_join(~P:Data,~F:Type,tick:Nat,+records:List<&2,P>,slots:List<&2,List<&2,P>>,returned:Retention<P,F>) -> Retention<P,F>:
69  match returned:
70    case Retention{family,journal,tail}:Retention{family,Family.kept_batch(~P,Nat.is_lt(0n,Ev.count(~P,records)),tick,records,journal),List.append(&2,List<&2,P>,slots,tail)}