def read_loop_generic

bendvy-ecs-core@0.1.0.3 · machine_stream_queue.bend:76

import bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend as MachineStreamQueue

import Base

76def read_loop_generic(-E: Data,batches: List<&2,Batch<E>>,+cursor: Nat,acc: List<&2,E>) -> List<&2,E>:
77  match batches:
78    case []: acc
79    case Batch{tick,_,items} <> rest: read_loop_generic(E,rest,cursor,visible_items_generic(E,Nat.is_lt(cursor,tick),items,acc))

Uses (5)

Used by (2)