def scanned_join

bendvy-ecs-core@0.1.0.4 · query_contract.bend:35

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import compose.bend as Q
import world.bend as W

35def scanned_join(~S: Data,~Store: Type,~R: Type,~E: Data,~Ops: Type -> Type,~plan: Q.Plan<S,Store,R,E,Ops>,+cursor:Maybe<&2,Tick.Tick>,handle: W.Handle<S>,next: W.World<S,Store,R,E> -> Scanned<S,Store,R,E>,observed: W.World<S,Store,R,E> & Bool) -> Scanned<S,Store,R,E>:
36  (world,selected) = observed
37  prepend(~S,~Store,~R,~E,selected,handle,next(world))