def past_checked

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

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

import Base

70def past_checked(~E: Data,remove: Bool,+tick: Nat,+items: List<&2,E>,+rest: List<&2,Batch<E>>,+dropped: Nat,ih: Nat -> Trimmed<E>) -> Trimmed<E>:
71  match remove:
72    case False{}: Trimmed{Batch{tick,items} <> rest,dropped}
73    case True{}: ih(Nat.max(dropped,tick))

Uses (6)

Used by (1)

bendvy-ecs-core@0.1.0.4/event_runtime:past_window