ResourceFieldBinding.right_lens: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/resource_field_binding.bend as ResourceFieldBinding
Lines 34-35 of bendvy-ecs-core@0.1.0.4/resource_field_binding.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/resource_field_binding.bend&start_line=34&end_line=35

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

def right_lens(~W:Type,~L:Type,~R:Type,~Rest:Type,~outer:Product.Lens<W,Product.Owner<L,R>,Rest>) -> Product.Lens<W,R,Rest & L>:
  Product.compose(~W,~Product.Owner<L,R>,~Rest,~R,~L,~outer,~Product.lens(~L,~R,~Product.Right{}))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Lens
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Path
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=compose
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=lens