~/jendhub

def inward

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

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

39def inward(~W:Type,~M:Type,~A:Type,~P:Type,~B:Type,~inner:Lens<M,P,B>,observed:A & M) -> (A & B) & P:
40  match observed:
41    case (rest,middle):joined(~A,~B,~P,rest,get_field(~M,~P,~B,inner)(middle))

Uses (5)

Used by (1)