def passive_cursor

bendvy-ecs-core@0.1.0.3 · inspector.bend:132

import bendvy-ecs-core@0.1.0.3/inspector.bend as Inspector
import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import world.bend as W
import capabilities.bend as Cap

132def passive_cursor(~S:Data,~Store:Type,~R:Type,~E:Data,~Ops:Type -> Type,~A:Data,~U:Data,~Out:Data,~plan:Plan<S,Store,R,E,Ops>,~body:@-H:Type -> @-caps:Ops(H) -> A -> H -> H & Result<&2,&2,U,Out>,instance:Instance<S>,cursor:Maybe<&2,Tick.Tick>,args:A,world:W.World<S,Store,R,E>) -> Observed<S,Store,R,E,U,Out>:
133  passive_returned(~S,~Store,~R,~E,~U,~Out,instance,Cap.invoke(~Ops,~A,~Result<&2,&2,U,Out>,~body,~Frame<S,Store,R,E>,~plan_caps(~S,~Store,~R,~E,~Ops,plan),args,Frame{world,cursor}))

Uses (12)

Used by (1)