~/jendhub

def left_lens

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

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

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

Uses (6)

Used by (1)