def composed_take

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

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

import Base

42def composed_take(~W:Type,~M:Type,~A:Type,~P:Type,~B:Type,~outer:Lens<W,M,A>,~inner:Lens<M,P,B>,owner:W) -> (A & B) & P:
43  inward(~W,~M,~A,~P,~B,~inner,get_field(~W,~M,~A,outer)(owner))

Uses (4)

Used by (1)

bendvy-ecs-core@0.1.0.3/owner_product:compose