def predicate_right

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

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

import Base
import world.bend as W

120def predicate_right(~H:Type,~S:Data,right:H -> W.Handle<S> -> H & Bool,target:W.Handle<S>,observed:H & Bool) -> H & Bool:
121  match observed:
122    case (owner,False{}):(owner,False{})
123    case (owner,True{}):right(owner,target)

Uses (4)

Used by (2)