def resource_read

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

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

114def resource_read(-S:Data,-C:Type,-R:Type,layout:Layout.Layout,route:Layout.Route,same:{R == Layout.resources_generic(S,layout) : Type},valid:{Bool.and(Layout.unique(layout),Layout.valid(layout,route)) == True{} : Bool}) -> String & Access.ResourceRead<State.Scope<S,C,R>,Layout.view(layout,route)>:
115  resource_read_description(S,C,R,layout,route,same,read_lens(S,layout,route))