~/jendhub

def projected_left

bendvy-ecs-core@0.1.0.3 · inspector_query_projection.bend:106

import bendvy-ecs-core@0.1.0.3/inspector_query_projection.bend as InspectorQueryProjection
import Base
import world.bend as W

106def projected_left(~H:Type,~S:Data,~A:Data,~B:Data,~right:H -> W.Handle<S> -> H & B,target:W.Handle<S>,observed:H & A) -> H & Product<A,B>:
107  (owner,left)=observed
108  projected_right(~H,~A,~B,left,right(owner,target))

Uses (5)

Used by (1)