~/jendhub

def record_checked

bendvy-ecs-core@0.1.0.4 · ordinary_inspector_removal.bend:19

import bendvy-ecs-core@0.1.0.4/ordinary_inspector_removal.bend as OrdinaryInspectorRemoval
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

19def record_checked(~S:Data,~P:Type,allowed:Bool,+key:String,+handle:W.Handle<S>,+identity:Identity.Declaration<S,P>,rest:List<&2,Rm.Record<S,Identity.Declaration<S,P>>>) -> List<&2,Rm.Record<S,Identity.Declaration<S,P>>>:
20  match allowed:
21    case True{}:Rm.Removed{handle,identity} <> rest
22    case False{}:rest

Uses (6)

Used by (1)