def completed

bendvy-ecs-core@0.1.0.4 · ordinary_app_optional_resource_run.bend:18

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/check.bend as K

18def completed(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Data,~Out:Data,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,K.Error,Out>,result:Sys.RunResult<S,C,R,E,Args,K.Error,Out,runner>) -> W.World<S,C,R,E> & (Sys.Registry<S,C,R,E,Args,K.Error,Out,runner> & Status<Out>):
19  match result:
20    case Sys.Completed{registry,Sys.Succeeded{world,output}}:(world,(registry,Succeeded{output}))
21    case Sys.Completed{registry,Sys.Failed{world,error}}:(world,(registry,Failed{error}))
22    case Sys.RegistrationRejected{registry,world,_}:(world,(registry,RegistrationRejected{}))