def event_reading_loaded

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

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

155def event_reading_loaded(~S:Data,~P:Data,~E:Data,~F:Type,~H:Type,selected:Mixed.State<S,P,F,H>,
156  viewed:Stream.Stream<S,E> & Ev.Reading<E>) -> Mixed.State<S,P,F,H> & (Stream.Stream<S,E> & Ev.Reading<E>):
157  match viewed:
158    case (stream,reading):(selected,(stream,reading))