type RunResult

bendvy-ecs-core@0.1.0.4 · system.bend:24

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

24# Completed retains Registry and a runner Outcome. RegistrationRejected
25# retains Registry, World and original Args without invoking the runner.
26# Rejection is distinct from a body failure that has consumed Args.
27type RunResult<S: Data,C: Type,R: Type,E: Data,Args: Type,Error: Data,Output: Type,-runner: W.World<S,C,R,E> -> Args -> Outcome<W.World<S,C,R,E>,Error,Output>> is Type:
28  Completed{registry: Registry<S,C,R,E,Args,Error,Output,runner>,outcome: Outcome<W.World<S,C,R,E>,Error,Output>}
29  RegistrationRejected{registry: Registry<S,C,R,E,Args,Error,Output,runner>,world: W.World<S,C,R,E>,args: Args}