~/jendhub

ordinary_app_existing_adoption.bend

bendvy-ecs-core@0.1.0.1 · 28 lines · 0 definitions

1import Base
2import bendvy-ecs-core@0.1.0.1/ordinary_app_existing_execution.bend as Existing
3import bendvy-ecs-core@0.1.0.1/ordinary_app_registration_fields.bend as Fields
4import bendvy-ecs-core@0.1.0.1/execution_context.bend as Ctx
5import bendvy-ecs-core@0.1.0.1/schedule_provision.bend as SP
6import bendvy-ecs-core@0.1.0.1/system.bend as Sys
7import bendvy-ecs-core@0.1.0.1/local.bend as Local
8import bendvy-ecs-core@0.1.0.1/ordinary_reader_system.bend as Reader
9import bendvy-ecs-core@0.1.0.1/world.bend as W
10
11def local_fold(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~Args:Type,~RunError:Data,~Out:Type,~runner:W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,RunError,Out>,~Shared:Type) -> (Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & Shared) -> (Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & Shared) & List<&2,Fields.Fields<S>>:
12  Existing.fold(~S,~Local.Instance<S,C,R,E,L,Args,RunError,Out,runner>,~Shared,~Existing.local_fields(~S,~C,~R,~E,~L,~Args,~RunError,~Out,~runner))
13def local_plan(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~Args:Type,~RunError:Data,~Out:Type,~runner:W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,RunError,Out>,~Shared:Type,~enabled:Shared -> Shared & Bool,~needs:List<&2,SP.Requirement<S>>) -> (Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & Shared) -> (Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & Shared) & SP.Plan<S>:
14  Existing.plan(~S,~Local.Instance<S,C,R,E,L,Args,RunError,Out,runner>,~Shared,~Existing.local_fields(~S,~C,~R,~E,~L,~Args,~RunError,~Out,~runner),~enabled,~needs)
15def local_dispatch(~S:Data,~C:Type,~R:Type,~E:Data,~L:Type,~Args:Type,~RunError:Data,~Out:Type,~runner:W.World<S,C,R,E> -> L -> Args -> Local.Outcome<W.World<S,C,R,E>,L,RunError,Out>,~Shared:Type,~Error:Data,~invoke:Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> -> Shared -> Ctx.Context<W.World<S,C,R,E>> -> Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & (Shared & Sys.Outcome<Ctx.Context<W.World<S,C,R,E>>,Error,Unit>),~refused:Error) -> (Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & Shared) -> Ctx.Context<W.World<S,C,R,E>> -> U32 -> (Local.Instance<S,C,R,E,L,Args,RunError,Out,runner> & Shared) & Sys.Outcome<Ctx.Context<W.World<S,C,R,E>>,Error,Unit>:
16  Existing.dispatch(~S,~W.World<S,C,R,E>,~Local.Instance<S,C,R,E,L,Args,RunError,Out,runner>,~Shared,~Error,~Existing.local_fields(~S,~C,~R,~E,~L,~Args,~RunError,~Out,~runner),~invoke,~refused)
17def system_fold(~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>,~Shared:Type) -> (Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & Shared) -> (Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & Shared) & List<&2,Fields.Fields<S>>:
18  Existing.fold(~S,~Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,~Shared,~Existing.system_fields(~S,~C,~R,~E,~Args,~RunError,~Out,~runner))
19def system_plan(~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>,~Shared:Type,~enabled:Shared -> Shared & Bool,~needs:List<&2,SP.Requirement<S>>) -> (Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & Shared) -> (Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & Shared) & SP.Plan<S>:
20  Existing.plan(~S,~Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,~Shared,~Existing.system_fields(~S,~C,~R,~E,~Args,~RunError,~Out,~runner),~enabled,~needs)
21def system_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>,~Shared:Type,~Error:Data,~invoke:Sys.Registry<S,C,R,E,Args,RunError,Out,runner> -> Shared -> Ctx.Context<W.World<S,C,R,E>> -> Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & (Shared & Sys.Outcome<Ctx.Context<W.World<S,C,R,E>>,Error,Unit>),~refused:Error) -> (Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & Shared) -> Ctx.Context<W.World<S,C,R,E>> -> U32 -> (Sys.Registry<S,C,R,E,Args,RunError,Out,runner> & Shared) & Sys.Outcome<Ctx.Context<W.World<S,C,R,E>>,Error,Unit>:
22  Existing.dispatch(~S,~W.World<S,C,R,E>,~Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,~Shared,~Error,~Existing.system_fields(~S,~C,~R,~E,~Args,~RunError,~Out,~runner),~invoke,~refused)
23def reader_fold(~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) -> (Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & Shared) -> (Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & Shared) & List<&2,Fields.Fields<S>>:
24  Existing.fold(~S,~Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl>,~Shared,~Existing.reader_fields(~S,~C,~R,~E,~Args,~RunError,~Out,~runner,~Owner,~Param,~Decl))
25def reader_plan(~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,~enabled:Shared -> Shared & Bool,~needs:List<&2,SP.Requirement<S>>) -> (Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & Shared) -> (Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl> & Shared) & SP.Plan<S>:
26  Existing.plan(~S,~Reader.Provider<Sys.Registry<S,C,R,E,Args,RunError,Out,runner>,Owner,Param,Decl>,~Shared,~Existing.reader_fields(~S,~C,~R,~E,~Args,~RunError,~Out,~runner,~Owner,~Param,~Decl),~enabled,~needs)
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)