~/jendhub

def skip_checked

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:273

import bendvy-ecs-core@0.1.0.4/event_runtime.bend as EventRuntime
import Base

273# A condition skip discards stream backlog without invoking gameplay.
274def skip_checked(~S: Data,~C: Type,~R: Type,~E: Data,allowed: Bool,runtime: Runtime<S,C,R,E>,reader: Reader<S>,+id: U32) -> Runtime<S,C,R,E> & Reader<S>:
275  match allowed runtime:
276    case False{} runtime: (runtime,reader)
277    case True{} Runtime{world,namespace,batches,positions,nextReader,+tick,frameStart,boundary,capacity,dropped}: (Runtime{world,namespace,batches,update(positions,id,tick,False{}),nextReader,tick,frameStart,boundary,capacity,dropped},reader)

Uses (7)

Used by (1)