def recovered

bendvy-ecs-core@0.1.0.4 · reader_domains.bend:70

import Base
import world.bend as W
import event_runtime.bend as Ev

70def recovered(~S: Data,~C: Type,~R: Type,~E: Data,~is_event: E -> Bool,world: W.World<S,C,R,E>,+namespace: U32,+batches: List<&2,Ev.Batch<E>>,+positions: List<&2,Ev.Position>,+nextReader: U32,+tick: Nat,+frameStart: Nat,+boundary: Nat,+capacity: Nat,+dropped: Nat,+old_removals: List<&2,E>,partition: List<&2,E> & List<&2,E>) -> Detached<S,C,R,E>:
71  match partition:
72    case (+values,+fresh_removals): Detached{W.events_replace(~S,~C,~R,~E,world,Ev.append(~E,old_removals,fresh_removals)),Events{namespace,event_batches(~E,~is_event,batches),positions,nextReader,tick,frameStart,boundary,capacity,dropped,values}}