def executing

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_family_query.bend:22

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/transaction.bend as T
import bendvy-ecs-core@0.1.0.4/compose.bend as Q
import bendvy-ecs-core@0.1.0.4/capture_query.bend as Fold
import bendvy-ecs-core@0.1.0.4/owned_event_journal.bend as Journal

22def executing(~S:Data,~C:Type,~R:Type,~E:Data,~Recovery:Type,~U:Data,~Out:Data,empty:Unit -> Recovery,result:Fold.Executed<W.World<S,C,R,E>,Journal.Stage<W.World<S,C,R,E>,Recovery>,Q.Error<U>,Out>) -> Sys.Outcome<W.World<S,C,R,E>,Unit,Reply<Q.Error<U>,List<&2,Out>,Recovery>>:
23  match result:
24    case Fold.Executed{world,stage,T.Success{},values}:finished(~S,~C,~R,~E,~Recovery,~U,~Out,T.Success{},values,Journal.finish(~W.World<S,C,R,E>,~Recovery,stage,True{},world,empty(Unit{})))
25    case Fold.Executed{world,stage,T.Failure{error},_}:finished(~S,~C,~R,~E,~Recovery,~U,~Out,T.Failure{error},[],Journal.finish(~W.World<S,C,R,E>,~Recovery,stage,False{},world,empty(Unit{})))