def local_fold

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

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/ordinary_app_registration_fields.bend as Fields
import bendvy-ecs-core@0.1.0.4/local.bend as Local
import bendvy-ecs-core@0.1.0.4/world.bend as W

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))