def resource_read_description

bendvy-ecs-core@0.1.0.3 · execution_layout_access.bend:111

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

111def resource_read_description(-S:Data,-C:Type,-R:Type,-layout:Layout.Layout,-route:Layout.Route,same:{R == Layout.resources_generic(S,layout) : Type},result:String & Product.Lens<Layout.resources_generic(S,layout),read_slot_type(S,layout,route),Layout.resource_rest_generic(S,layout,route)>) -> String & Access.ResourceRead<State.Scope<S,C,R>,Layout.view(layout,route)>:
112  match result:
113    case (key,lens):(key,resource_read_compiled(S,C,R,layout,route,same,lens))