def checked
bendvy-ecs-core@0.1.0.3 · world.bend:148
import bendvy-ecs-core@0.1.0.3/world.bend as World
import Base
148def checked(~S:Data,~C:Type,~R:Type,~E:Data,mode:U32,world:World<S,C,R,E>,handle:Handle<S>) -> World<S,C,R,E> & Bool:
149 match world handle:
150 case World{+namespace,allocator,store,resource,events,pending,registrations,nextSystemId,clock,lifecycle} Handle{ns,key}:checked_namespace(~S,~C,~R,~E,U32.is_eq(namespace,ns),mode,World{namespace,allocator,store,resource,events,pending,registrations,nextSystemId,clock,lifecycle},key)