def left

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

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

36def left(~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,L,Rest & R,LI,left_lens(~W,~L,~R,~Rest,~outer)>:
37  match value:
38    case Cursor{Branch{Built{_,index},_}}:Cursor{index}