def recover

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

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

76def recover(~S: Data,~C: Type,~R: Type,~E: Data,~is_event: E -> Bool,runtime: Ev.Runtime<S,C,R,E>,+old_removals: List<&2,E>) -> Detached<S,C,R,E>:
77  match runtime:
78    case Ev.Runtime{world,+namespace,+batches,+positions,+nextReader,+tick,+frameStart,+boundary,+capacity,+dropped}: recovery_view(~S,~C,~R,~E,~is_event,namespace,batches,positions,nextReader,tick,frameStart,boundary,capacity,dropped,old_removals,W.events_view(~S,~C,~R,~E,world))