def resource_read_recorded

bendvy-ecs-core@0.1.0.3 · execution_builder.bend:137

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_declaration.bend as D
import bendvy-ecs-core@0.1.0.3/execution_access.bend as A
import bendvy-ecs-core@0.1.0.3/execution_resource_recipe.bend as Resources

137def resource_read_recorded(-S:Data,-C:Type,-R:Type,-layout:Layout.Layout,+route:Layout.Route,book:Book,result:String & A.ResourceRead<State.Scope<S,C,R>,Layout.view(layout,route)>) -> Book & A.ResourceRead<State.Scope<S,C,R>,Layout.view(layout,route)>:
138  match result:
139    case (+key,cap):(resource_book(book,Resources.Entry{route,key,Resources.ReadOnly{}},D.Access{key,D.ResourceAccess{},D.Exclusive{},D.ReadOnly{}},True{}),cap)