ExecutionLayoutAccess.resource_read_compiled: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_layout_access.bend as ExecutionLayoutAccess
Lines 109-110 of bendvy-ecs-core@0.1.0.3/execution_layout_access.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_layout_access.bend&start_line=109&end_line=110

import Base
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_access.bend as Access
import bendvy-ecs-core@0.1.0.3/owner_product.bend as Product

def resource_read_compiled(-S:Data,-C:Type,-R:Type,-layout:Layout.Layout,-route:Layout.Route,same:{R == Layout.resources_generic(S,layout) : Type},lens:Product.Lens<Layout.resources_generic(S,layout),read_slot_type(S,layout,route),Layout.resource_rest_generic(S,layout,route)>) -> Access.ResourceRead<State.Scope<S,C,R>,Layout.view(layout,route)>:
  Access.ResourceRead{scope => read_scope(S,C,R,read_slot_type(S,layout,route),Layout.resource_rest_generic(S,layout,route),Layout.view(layout,route),read_checked_lens(S,R,layout,route,same,lens),slot => read_slot_view(S,layout,route,slot),scope)}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_access.bend&name=ResourceRead
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Route
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=resource_rest_generic
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=resources_generic
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=view
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_layout_access.bend&name=read_checked_lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_layout_access.bend&name=read_scope
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_layout_access.bend&name=read_slot_type
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_layout_access.bend&name=read_slot_view
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owner_product.bend&name=Lens