~/jendhub

def right_lens

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

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

34def 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>:
35  Product.compose(~W,~Product.Owner<L,R>,~Rest,~R,~L,~outer,~Product.lens(~L,~R,~Product.Right{}))

Uses (6)

Used by (1)