~/jendhub

def read

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

import bendvy-ecs-core@0.1.0.4/internal/query_read_session.bend as QueryReadSession
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/component.bend as C
import bendvy-ecs-core@0.1.0.4/column.bend as Col

31def read(~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,owner:Owner<S,Store>,target:W.Handle<S>) -> Owner<S,Store> & C.Access<V>:
32  match owner target:
33    case Owner{+namespace,allocator,store,cursor} W.Handle{ns,key}:read_namespace(~S,~Store,~Rest,~Payload,~V,~take,~put,~view,U32.is_eq(namespace,ns),namespace,allocator,store,cursor,key)

Uses (7)

Used by (3)