def read

bendvy-ecs-core@0.1.0.3 · execution_lifecycle_notices.bend:163

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

163def read(~S:Data,~origin:Layout.Layout,~selector:Selector,view:View<S>,reader:Reader<S,origin,selector>) -> Reading<S,origin,selector>:
164  match view reader:
165    case View{+namespace,channels,+active} Reader{+actual,+id,cursor}:read_admitted(~S,~origin,~selector,admission(namespace,actual,id,selector,active),View{namespace,channels,active},Reader{actual,id,cursor})