~/jendhub

def succeeded

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

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

94def succeeded(~S:Data,~Store:Type,~R:Type,~E:Data,~U:Data,~Out:Data,registeredAt:Tick.Tick,value:Out,observed:W.World<S,Store,R,E> & Tick.Tick) -> Observed<S,Store,R,E,U,Out>:
95  (world,cursor)=observed
96  Observed{world,Active{Some{cursor},registeredAt},Done{value}}

Uses (8)

Used by (1)