MachineHandlerEngine.after_enter: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend as MachineHandlerEngine
Lines 64-67 of bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend&start_line=64&end_line=67

import Base
import bendvy-ecs-core@0.1.0.4/system.bend as Sys

def after_enter(~S:Data,~State:Type,~Entry:Type,~Phase:Data,~V:Data,~invoke:Entry -> State -> Phase -> V -> V -> Entry & Sys.Outcome<State,String,Unit>,~initial:Entry -> State -> V -> Entry & Sys.Outcome<State,String,Unit>,~exitPhase:Phase,~transitionPhase:Phase,~enterPhase:Phase,exit:List<&1,Entry>,transition:List<&1,Entry>,observed:PhaseResult<State,Entry>) -> HandlerResult<State,Entry,Phase>:
  match observed:
    case Complete{enter,world}: Completed{Owners{exit,transition,enter},world}
    case Failed{enter,world,error}: Stopped{Owners{exit,transition,enter},world,enterPhase,error}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend&name=HandlerResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend&name=Owners
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/machine_handler_engine.bend&name=PhaseResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/system.bend&name=Outcome