def dispatched

bendvy-ecs-core@0.1.0.4 · ordinary_app_relation_system.bend:32

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_app_relation.bend as Relation
import bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend as Ord
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as A
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

32def dispatched(~S:Data,~C:Type,~R:Type,~E:Data,~declaration:Ord.Declaration<S>,~target:W.Handle<S>,result:Sys.RunResult<S,A.Store<S,C>,R,A.Notice<S,E>,Unit,Unit,Unit,reader(~S,~C,~R,~E,~declaration,~target)>) -> Owner(~S,~C,~R,~E,~declaration,~target) & Sys.Outcome<Relation.World(~S,~C,~R,~E),Maybe<&2,Unit>,Unit>:
33  match result:
34    case Sys.Completed{registry,Sys.Succeeded{world,output}}:(registry,Sys.Succeeded{world,output})
35    case Sys.Completed{registry,Sys.Failed{world,error}}:(registry,Sys.Failed{world,Some{error}})
36    case Sys.RegistrationRejected{registry,world,args}:(registry,Sys.Failed{world,None{}})