~/jendhub

def observe

bendvy-ecs-core@0.1.0.4 · local.bend:119

import bendvy-ecs-core@0.1.0.4/local.bend as Local
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

119# Return the instance with a detached Data projection of Local. project
120# must return its L owner; this trusted callback is not a World transaction
121# and grants no authority to execute a registration in another World.
122def observe(~S: Data,~C: Type,~R: Type,~E: Data,~L: Type,~Args: Type,~Error: Data,~Out: Type,~runner: W.World<S,C,R,E> -> L -> Args -> Outcome<W.World<S,C,R,E>,L,Error,Out>,~V: Data,~project: L -> L & V,instance: Instance<S,C,R,E,L,Args,Error,Out,runner>) -> Instance<S,C,R,E,L,Args,Error,Out,runner> & V:
123  match instance:
124    case Instance{namespace,id,name,access,local}: observed(~S,~C,~R,~E,~L,~Args,~Error,~Out,~runner,~V,namespace,id,name,access,project(local))

Uses (5)

Used by (1)