~/jendhub

def inspect_read

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

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

23def inspect_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:I.Frame<S,Store,R,E>,+target:W.Handle<S>) -> I.Frame<S,Store,R,E> & C.Access<V>:
24  match frame:
25    case I.Frame{world,cursor}:inspect_joined(~S,~Store,~R,~E,~V,cursor,C.get_allowed(~S,~Store,~R,~E,~Rest,~Payload,~V,~Token,~take,~put,~project,W.valid(~S,~Store,~R,~E,world,target),target))

Uses (9)

Used by (1)