def finished

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

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

54def finished(~S:Data,~C:Type,~P:Type,~E:Data,~Error:Data,~Out:Type,outcome:T.Outcome<Error>,output:Out,result:W.World<S,C,Array<P>,E> & List<A.Record<P>>) -> Sys.Outcome<W.World<S,C,Array<P>,E>,Unit,Reply<Error,Out,P>>:
55  match result:
56    case (world,recovered):Sys.Succeeded{world,Reply{outcome,output,recovered}}