def event_advanced_selected

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

import Base
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

201def event_advanced_selected(~S:Data,~P:Data,~E:Data,~F:Type,~H:Type,
202  ~put:F -> Stream.Stream<S,E> -> F,id:U32,readThrough:Nat,
203  selected:Mixed.State<S,P,F,H> & Stream.Stream<S,E>) -> Mixed.State<S,P,F,H>:
204  match selected:
205    case (state,stream):Mixed.put(~S,~E,~P,~F,~H,~put,state,Stream.advance(~S,~E,stream,id,readThrough))