def right

bendvy-ecs-core@0.1.0.4 · resource_field_binding.bend:39

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

39def right(~S:Data,~W:Type,~L:Type,~R:Type,~Rest:Type,~LI:Data,~RI:Data,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>,value:Cursor<S,W,Product.Owner<L,R>,Rest,Branch<Built<S,L,LI>,Built<S,R,RI>>,outer>) -> Cursor<S,W,R,Rest & L,RI,right_lens(~W,~L,~R,~Rest,~outer)>:
40  match value:
41    case Cursor{Branch{_,Built{_,index}}}:Cursor{index}