def checked

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

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

31def checked(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~select:E -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>,allowed:Bool,key:String,world:W.World<S,C,R,E>) -> W.World<S,C,R,E> & Maybe<&2,List<&2,Rm.Record<S,Identity.Declaration<S,P>>>>:
32  match allowed:
33    case False{}:(world,None{})
34    case True{}:viewed(~S,~C,~R,~E,~P,~select,key,W.events_view(~S,~C,~R,~E,world))