def invoke

bendvy-ecs-core@0.1.0.4 · ordinary_app_leaf_run.bend:13

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as Leaf
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Stored
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_run.bend as Run
import bendvy-ecs-core@0.1.0.4/ordinary_app_dispatch_result.bend as D
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

13def invoke(~S:Data,~C:Type,~R:Type,~E:Data,~H:Type,~Args:Type,~Error:Data,~Out:Type,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Out>,~RA:Type,~CE:Data,~RE:Data,~RO:Type,put:Leaf.Record<S,Stored.Token<Sys.Registry<S,C,R,E,Args,Error,Out,runner>>> -> H,convert:Sys.Outcome<W.World<S,C,R,E>,Error,Out> -> Sys.Outcome<W.World<S,C,R,E>,D.Error<CE,RE>,D.Output<Unit,RO>>,rejected:Args -> D.Arguments<Unit,RA>,record:Leaf.Record<S,Stored.Token<Sys.Registry<S,C,R,E,Args,Error,Out,runner>>>,world:W.World<S,C,R,E>,args:Args) -> D.DispatchResult<S,C,R,E,H,D.Arguments<Unit,RA>,D.Error<CE,RE>,D.Output<Unit,RO>>:
14  match record:
15    case Leaf.Record{token,fields}:returned(~S,~C,~R,~E,~H,~Args,~Error,~Out,~runner,~RA,~CE,~RE,~RO,put,convert,rejected,Run.run(~S,~C,~R,~E,~Args,~Error,~Out,~runner,token,fields,world,args))