def skip

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

import Base

279# Condition-false lifecycle operation: for a matching namespace, advance an
280# existing position to current tick without invoking gameplay. Does not activate
281# an absent reader; foreign namespace leaves Runtime/Reader unchanged. No trim
282# or registry disposal is performed.
283def skip(~S: Data,~C: Type,~R: Type,~E: Data,runtime: Runtime<S,C,R,E>,reader: Reader<S>) -> Runtime<S,C,R,E> & Reader<S>:
284  match runtime reader:
285    case Runtime{world,+namespace,batches,positions,nextReader,tick,frameStart,boundary,capacity,dropped} Reader{+readerNamespace,+id,+expected}: skip_checked(~S,~C,~R,~E,U32.is_eq(namespace,readerNamespace),Runtime{world,namespace,batches,positions,nextReader,tick,frameStart,boundary,capacity,dropped},Reader{readerNamespace,id,expected},id)