def event_read_selected

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:167

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed

167def event_read_selected(~S:Data,~P:Data,~E:Data,~F:Type,~H:Type,
168  ~take:F -> F & Stream.Stream<S,E>,
169  state:Mixed.State<S,P,F,H>,id:U32,tick:Nat) -> Mixed.State<S,P,F,H> & (Stream.Stream<S,E> & Ev.Reading<E>):
170  event_read_selected_from(~S,~P,~E,~F,~H,~take,id,tick,Mixed.take(~S,~E,~P,~F,~H,~take,state))