def read_lens_right_take
bendvy-ecs-core@0.1.0.3 · execution_layout_access.bend:44
import bendvy-ecs-core@0.1.0.3/execution_layout_access.bend as ExecutionLayoutAccess
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
44def read_lens_right_take(-S:Data,-left:Layout.Layout,-right:Layout.Layout,-route:Layout.Route,take:Layout.resources_generic(S,right) -> Layout.resource_rest_generic(S,right,route) & read_slot_type(S,right,route),owner:Product.Owner<Layout.resources_generic(S,left),Layout.resources_generic(S,right)>) -> Layout.resource_rest_generic(S,Layout.LayoutPair{left,right},Layout.InRight{route}) & read_slot_type(S,Layout.LayoutPair{left,right},Layout.InRight{route}):
45 match owner:
46 case Product.Owner{l,r}:read_lens_right_taken(S,left,right,route,l,take(r))