def completing

bendvy-ecs-core@0.1.0.4 · ordinary_recoverable_array_resource.bend:57

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/recovery_journal.bend as Journal
import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

57def completing(~S:Data,~C:Type,~P:Type,~E:Data,~Error:Data,~Out:Type,world:W.World<S,C,Array<P>,E>,journal:List<Journal.Action(~W.World<S,C,Array<P>,E>,~List<A.Record<P>>)>,result:T.Outcome<Error> & Out) -> Sys.Outcome<W.World<S,C,Array<P>,E>,Unit,Reply<Error,Out,P>>:
58  match result:
59    case (+outcome,output):finished(~S,~C,~P,~E,~Error,~Out,outcome,output,Journal.finish(~W.World<S,C,Array<P>,E>,~List<A.Record<P>>,journal,succeeded(~Error,outcome),world,[]))