def read_lens_right_put

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

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

47def read_lens_right_put(-S:Data,-left:Layout.Layout,-right:Layout.Layout,-route:Layout.Route,put:Layout.resource_rest_generic(S,right,route) -> read_slot_type(S,right,route) -> Layout.resources_generic(S,right),rest:Layout.resources_generic(S,left) & Layout.resource_rest_generic(S,right,route),slot:read_slot_type(S,right,route)) -> Product.Owner<Layout.resources_generic(S,left),Layout.resources_generic(S,right)>:
48  match rest:
49    case (outer,inner):Product.Owner{outer,put(inner,slot)}