def read_scope

bendvy-ecs-core@0.1.0.3 · execution_resource_interpreter.bend:17

import Base
import bendvy-ecs-core@0.1.0.3/execution_resource_store.bend as Store
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State

17def read_scope(-S:Data,-C:Type,-Resources:Type,-V:Data,read:Resources -> Resources & Store.Lookup<V>,source:State.Scope<S,C,Resources>,valid:Bool) -> State.Scope<S,C,Resources> & Store.Lookup<V>:
18  match source valid:
19    case source False{}:(source,Store.LookupRefused{})
20    case State.Scope{columns,resources,handles,tick,prior,view} True{}:scope_returned(S,C,Resources,Store.Lookup<V>,columns,handles,tick,prior,view,read(resources))