def event_registered_leaf

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

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

278def event_registered_leaf(~S:Data,~P:Data,~E:Data,~F:Type,~H:Type,
279  ~put:F -> Stream.Stream<S,E> -> F,
280  selected:Mixed.State<S,P,F,H>,
281  registered:Stream.Stream<S,E> & U32) -> Mixed.State<S,P,F,H> & U32:
282  match registered:
283    case (stream,id):(Mixed.put(~S,~E,~P,~F,~H,~put,selected,stream),id)