ExecutionResourceInterpreter.read_scope: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_resource_interpreter.bend as ExecutionResourceInterpreter
Lines 17-20 of bendvy-ecs-core@0.1.0.3/execution_resource_interpreter.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_interpreter.bend&start_line=17&end_line=20

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

def 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>:
  match source valid:
    case source False{}:(source,Store.LookupRefused{})
    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))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_interpreter.bend&name=scope_returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_resource_store.bend&name=Lookup
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Scope