~/jendhub

def read_admitted

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

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

159def read_admitted(~S:Data,~origin:Layout.Layout,~selector:Selector,reason:Maybe<&2,Refusal>,view:View<S>,reader:Reader<S,origin,selector>) -> Reading<S,origin,selector>:
160  match reason view reader:
161    case Some{reason} _ reader:ReadRefused{reader,reason}
162    case None{} View{_,channels,_} Reader{namespace,id,cursor}:read_channel(~S,~origin,~selector,namespace,id,cursor,channel_generic(S,selector,channels))

Uses (9)

Used by (1)