Commands.tx_finish: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/commands.bend as Commands
Lines 25-30 of bendvy-ecs-core@0.1.0.4/commands.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/commands.bend&start_line=25&end_line=30

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

# Finish with canonical World adapters: success enqueues staged commands and
# publishes staged Data events in authored order; failure replays inverse actions
# and drops staged commands/events. Returns World plus outcome. It does not apply
# the structural barrier or undo arbitrary external effects.
def tx_finish(~S: Data,~C: Type,~R: Type,~E: Data,~Error: Data,tx: T.Tx<W.World<S,C,R,E>,E>,outcome: T.Outcome<Error>) -> T.Returned<W.World<S,C,R,E>,Error>:
  T.finish(~W.World<S,C,R,E>,~E,~Error,~enqueue(~S,~C,~R,~E),~publish(~S,~C,~R,~E),tx,outcome)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/commands.bend&name=enqueue
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/commands.bend&name=publish
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World