def read_namespace

bendvy-ecs-core@0.1.0.4 · internal/query_read_session.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/entity_key.bend as K
import bendvy-ecs-core@0.1.0.4/entity_allocator.bend as A
import bendvy-ecs-core@0.1.0.4/component.bend as C
import bendvy-ecs-core@0.1.0.4/column.bend as Col

27def read_namespace(~S:Data,~Store:Type,~Rest:Type,~Payload:Type,~V:Data,~take:Store -> Rest & Col.Column<S,Payload>,~put:Rest -> Col.Column<S,Payload> -> Store,~view:Payload -> Payload & V,allowed:Bool,namespace:U32,allocator:A.Allocator,store:Store,cursor:Maybe<&2,Tick.Tick>,+key:K.Key) -> Owner<S,Store> & C.Access<V>:
28  match allowed:
29    case False{}:(Owner{namespace,allocator,store,cursor},C.MissingEntity{})
30    case True{}:read_valid(~S,~Store,~Rest,~Payload,~V,~take,~put,~view,namespace,store,cursor,key,A.checked(allocator,key,1))