def read_events

bendvy-ecs-core@0.1.0.4 · events.bend:29

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

29def read_events(~S: Data,~C: Type,~R: Type,~E: Data,+namespace: U32,+offset: Nat,observed: W.World<S,C,R,E> & List<&2,E>) -> Observed<S,C,R,E>:
30  (world,+events) = observed
31  Read{world,Reader{namespace,List.length(&2,E,events)},List.drop(&2,E,events,offset)}