~/jendhub

def reader_statuses

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

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

300def reader_statuses(~E: Data,positions: List<&2,Position>,+batches: List<&2,Batch<E>>,+dropped: Nat) -> List<&2,ReaderStatus>:
301  match positions:
302    case []: []
303    case position <> rest: reader_status(~E,position,batches,dropped) <> reader_statuses(~E,rest,batches,dropped)

Uses (6)

Used by (1)