def retired
bendvy-ecs-core@0.1.0.3 · execution_lifecycle_notices.bend:134
import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as ExecutionLifecycleNotices
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
134def retired(~S:Data,~origin:Layout.Layout,~selector:Selector,reason:Maybe<&2,Refusal>,journal:Journal<S>,reader:Reader<S,origin,selector>) -> Journal<S> & Retirement<S,origin,selector>:
135 match reason journal reader:
136 case Some{reason} journal reader:(journal,RetirementRefused{reader,reason})
137 case None{} Journal{namespace,channels,nextReader,active} Reader{_,id,_}:(Journal{namespace,channels,nextReader,without(id,active)},Retired{})