~/jendhub

def select_failure

bendvy-ecs-core@0.1.0.4 · inspector_failure_projection.bend:22

import bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend as InspectorFailureProjection
import Base
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G
import bendvy-ecs-core@0.1.0.4/relation_graph.bend as Graph

22def select_failure(~S:Data,+relation:G.Descriptor<S>,+failure:G.Failure<S>,rest:List<&2,G.Failure<S>>) -> List<&2,G.Failure<S>>:
23  match failure:
24    case G.Failure{+actual,operation,source,target,error}:selected(~S,U32.is_eq(Graph.key(~S,actual),Graph.key(~S,relation)),G.Failure{actual,operation,source,target,error},rest)

Uses (6)

Used by (1)