~/jendhub

def projected

bendvy-ecs-core@0.1.0.4 · inspector_machine_projection.bend:10

import bendvy-ecs-core@0.1.0.4/inspector_machine_projection.bend as InspectorMachineProjection
import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import inspector.bend as I
import machine.bend as M
import world.bend as W

10# Private public-source projection candidate. Closed schema setup owns the lens.
11# No requirement validator or foreign-instance policy is selected here.
12def projected(~S:Data,~K:Data,~V:Data,~Store:Type,~R:Type,~E:Data,cursor:Maybe<&2,Tick.Tick>,observed:W.World<S,Store,R,E> & M.Slot<S,K,V>) -> I.Frame<S,Store,R,E> & M.CurrentView<S,K,V>:
13  (world,slot)=observed
14  (I.Frame{world,cursor},M.current_view(~S,~K,~V,slot))

Uses (9)

Used by (1)