def compose

bendvy-ecs-core@0.1.0.3 · owner_product.bend:47

import bendvy-ecs-core@0.1.0.3/owner_product.bend as OwnerProduct
import Base

47def compose(~W:Type,~M:Type,~A:Type,~P:Type,~B:Type,~outer:Lens<W,M,A>,~inner:Lens<M,P,B>) -> Lens<W,P,A & B>:
48  Lens{owner=>composed_take(~W,~M,~A,~P,~B,~outer,~inner,owner),rest=>part=>composed_put(~W,~M,~A,~P,~B,~outer,~inner,rest,part)}

Uses (4)

Used by (0)

No other definition uses this definition.