def trim_normalized

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/queue.bend:39

import Base

39def trim_normalized(~E: Data,queue: Queue<E>,+boundary: Nat,+capacity: Nat,ih: Queue<E> -> Queue<E>) -> Queue<E>:
40  match queue:
41    case Queue{Nil{},back,size,dropped}: Queue{[],back,size,dropped}
42    case Queue{Batch{+tick,+count,+items} <> +rest,+back,+size,+dropped}: trim_step(~E,Bool.or(Nat.is_le(tick,boundary),Nat.is_lt(capacity,size)),tick,count,items,rest,back,size,dropped,ih)