~/jendhub

def check_read

bendvy-ecs-core@0.1.0.4 · inspector_query_families.bend:44

import bendvy-ecs-core@0.1.0.4/inspector_query_families.bend as InspectorQueryFamilies
import Base
import check.bend as K
import world.bend as W
import component.bend as C
import column.bend as Col

44def check_read(~S:Data,~Store:Type,~R:Type,~E:Data,~Rest:Type,~Payload:Type,~V:Data,~Token:Data,~take:Store -> Rest & Col.Column<S,Payload>,~put:Rest -> Col.Column<S,Payload> -> Store,~project:Payload -> Payload & V,~family:C.Family<S,Store,Rest,Payload,V,Token,take,put,project>,frame:K.Frame<S,Store,R,E>,target:W.Handle<S>) -> K.Frame<S,Store,R,E> & C.Access<V>:
45  match frame:
46    case K.Frame{world}:check_joined(~S,~Store,~R,~E,~V,C.get(~S,~Store,~R,~E,~Rest,~Payload,~V,~Token,~take,~put,~project,family,world,target))

Uses (8)

Used by (1)