~/jendhub

def finished

bendvy-ecs-core@0.1.0.4 · query.bend:75

import bendvy-ecs-core@0.1.0.4/query.bend as Query
import Base
import world.bend as W
import transaction.bend as T
import provider.bend as Pv
import commands.bend as Cmd

75def finished(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,observed: T.Tx<W.World<S,Store,R,E>,E> & T.Outcome<Pv.Error<U>>) -> T.Returned<W.World<S,Store,R,E>,Pv.Error<U>>:
76  (tx,result) = observed
77  Cmd.tx_finish(~S,~Store,~R,~E,~Pv.Error<U>,tx,result)

Uses (8)

Used by (1)