def at_capacity

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

import Base

85def at_capacity(~E: Data,batches: List<&2,Batch<E>>,+capacity: Nat,+dropped: Nat) -> Trimmed<E>:
86  match batches:
87    case []: Trimmed{[],dropped}
88    case Batch{+tick,+items} <> +rest: capacity_checked(~E,Nat.is_lt(capacity,size(~E,Batch{tick,items} <> rest)),tick,items,rest,dropped,gone => at_capacity(~E,rest,capacity,gone))