def past_window

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

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

import Base

75def past_window(~E: Data,batches: List<&2,Batch<E>>,+boundary: Nat,+dropped: Nat) -> Trimmed<E>:
76  match batches:
77    case []: Trimmed{[],dropped}
78    case Batch{+tick,+items} <> +rest: past_checked(~E,Nat.is_le(tick,boundary),tick,items,rest,dropped,gone => past_window(~E,rest,boundary,gone))

Uses (6)

Used by (2)