def engine_result

bendvy-ecs-core@0.1.0.4 · machine_handler_phases.bend:72

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/machine_handlers.bend as H
import bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend as Engine

72def engine_result(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,~runner:W.World<S,C,R,E> -> H.Invocation<V> -> Sys.Outcome<W.World<S,C,R,E>,String,Unit>,value:H.PhaseResult<S,C,R,E,V,runner>) -> Engine.PhaseResult<W.World<S,C,R,E>,H.Entry<S,C,R,E,V,runner>>:
73  match value:
74    case H.Complete{entries,world}:Engine.Complete{entries,world}
75    case H.Failed{entries,world,error}:Engine.Failed{entries,world,error}