def transaction_called

bendvy-ecs-core@0.1.0.4 · ordinary_service_request.bend:46

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
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as Trace
import bendvy-ecs-core@0.1.0.4/deferred_command.bend as Deferred

46def transaction_called(~S:Data,~C:Type,~R:Type,~E:Data,~Input:Type,~Output:Type,undo:List<(W.World<S,C,R,E> -> W.World<S,C,R,E>)>,commands:List<Deferred.Command<W.World<S,C,R,E>>>,events:List<&2,E>,trace:Trace.State,value:W.World<S,C,R,E> & RequestResult<Input,Output>) -> T.Tx<W.World<S,C,R,E>,E> & RequestResult<Input,Output>:
47  match value:
48    case (world,result):(T.Tx{world,undo,commands,events,trace},result)