def trim_step

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

import bendvy-ecs-core@0.1.0.4/internal/relation_failures/queue.bend as Queue

import Base

34def trim_step(~E: Data,remove: Bool,+tick: Nat,+count: Nat,+items: List<&2,E>,+rest: List<&2,Batch<E>>,+back: List<&2,Batch<E>>,+size: Nat,+dropped: Nat,ih: Queue<E> -> Queue<E>) -> Queue<E>:
35  match remove:
36    case False{}: Queue{Batch{tick,count,items} <> rest,back,size,dropped}
37    case True{}: ih(Queue{rest,back,Nat.sub(size,count),Nat.max(dropped,tick)})

Uses (7)

Used by (1)

bendvy-ecs-core@0.1.0.4/internal/relation_failures/queue:trim_normalized