~/jendhub

def output_join

bendvy-ecs-core@0.1.0.4 · relation_query.bend:99

import bendvy-ecs-core@0.1.0.4/relation_query.bend as RelationQuery
import Base
import relation_commands.bend as A
import world.bend as W
import transaction.bend as X

99def output_join(~S:Data,~V:Data,~C:Type,~R:Type,~E:Data,~Out:Data,observed:X.Tx<W.World<S,A.Store<S,C>,R,A.Notice<S,E>>,A.Notice<S,E>> & Out,next:X.Tx<W.World<S,A.Store<S,C>,R,A.Notice<S,E>>,A.Notice<S,E>> -> X.Tx<W.World<S,A.Store<S,C>,R,A.Notice<S,E>>,A.Notice<S,E>> & List<&2,Out>) -> X.Tx<W.World<S,A.Store<S,C>,R,A.Notice<S,E>>,A.Notice<S,E>> & List<&2,Out>:
100  (tx,value) = observed
101  output_prepend(~S,~C,~R,~E,~Out,value,next(tx))

Uses (8)

Used by (1)