def reader_dispatch

bendvy-ecs-core@0.1.0.4 · ordinary_app_existing_adoption.bend:27

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend as Existing
import bendvy-ecs-core@0.1.0.4/execution_context.bend as Ctx
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/ordinary_reader_system.bend as Reader
import bendvy-ecs-core@0.1.0.4/world.bend as W

27def reader_dispatch(~S:Data,~C:Type,~R:Type,~E:Data,~Args:Type,~RunError:Data,~Out:Type,~runner:W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,RunError,Out>,~Owner:Type,~Param:Type,~Decl:Type,~Shared:Type,~Error:Data,~invoke:Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> -> Shared -> Ctx.Context<W.World<S,C,R,E>> -> Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & (Shared & Sys.Outcome<Ctx.Context<W.World<S,C,R,E>>,Error,Unit>),~refused:Error) -> (Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & Shared) -> Ctx.Context<W.World<S,C,R,E>> -> U32 -> (Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & Shared) & Sys.Outcome<Ctx.Context<W.World<S,C,R,E>>,Error,Unit>:
28  Existing.dispatch(~S,~W.World<S,C,R,E>,~Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl>,~Shared,~Error,~Existing.reader_fields(~S,~C,~R,~E,~Args,~RunError,~Out,~runner,~Owner,~Param,~Decl),~invoke,~refused)