def reading

bendvy-ecs-core@0.1.0.3 · execution_machine_stream.bend:36

import Base
import bendvy-ecs-core@0.1.0.3/machine.bend as M
import bendvy-ecs-core@0.1.0.3/execution_stream_channel.bend as Channel
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

36def reading(~S:Data,~K:Data,~V:Data,~origin:Layout.Layout,~route:Layout.Route,+sequence:Nat,tick:Tick.Tick,reader:Reader<S,K,V,origin,route>,store:Store<V>) -> Store<V> & Reading<S,K,V,origin,route>:
37  match reader:
38    case Reader{namespace,id,+cursor}:returned(~S,~K,~V,~origin,~route,Reader{namespace,id,cursor},Channel.reading(~M.Transition<V>,sequence,tick,cursor,channel(~V,store)))