~/jendhub

def increment_reader

bendvy-ecs-core@0.1.0.4 · event_stream.bend:18

import bendvy-ecs-core@0.1.0.4/event_stream.bend as EventStream
import Base

18def increment_reader(~S:Data,~E:Data,stream:Stream<S,E>,+tick:Nat) -> Stream<S,E> & U32:
19  match stream:
20    case Stream{domain,batches,positions,+nextReader,frameStart,boundary,capacity,dropped}:(Stream{domain,batches,positions,(nextReader+1:U32),frameStart,boundary,capacity,dropped},nextReader)

Uses (6)

Used by (1)