def retire

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

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

138def retire(~S:Data,~origin:Layout.Layout,~selector:Selector,journal:Journal<S>,reader:Reader<S,origin,selector>) -> Journal<S> & Retirement<S,origin,selector>:
139  match journal reader:
140    case Journal{+namespace,channels,nextReader,+active} Reader{+actual,+id,cursor}:retired(~S,~origin,~selector,admission(namespace,actual,id,selector,active),Journal{namespace,channels,nextReader,active},Reader{actual,id,cursor})