def checked_namespace

bendvy-ecs-core@0.1.0.4 · owned_family.bend:25

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/clock_state.bend as Clock
import entity_allocator.bend as A
import world.bend as W

25def checked_namespace(-S:Data,same:Bool,namespace:U32,allocator:A.Allocator,+handle:W.Handle<S>,clock:Clock.State,error:Maybe<&2,W.WorldError>,cursor:Maybe<&2,Tick.Tick>) -> Header<S> & Bool:
26  match same:
27    case False{}:(Header{namespace,allocator,handle,clock,error,cursor},False{})
28    case True{}:checked_live(S,namespace,handle,clock,error,cursor,A.checked(allocator,handle_key(S,handle),1))