def left_outcome

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution_recipe.bend:73

import Base
import bendvy-ecs-core@0.1.0.4/execution_context.bend as Ctx
import bendvy-ecs-core@0.1.0.4/system.bend as Sys
import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as Identity

73def left_outcome(~World:Type,~LE:Data,~RE:Data,outcome:Sys.Outcome<Ctx.Context<World>,LE,Unit>) -> Sys.Outcome<Ctx.Context<World>,Identity.Choice<LE,RE>,Unit>:
74  match outcome:
75    case Sys.Succeeded{world,output}:Sys.Succeeded{world,output}
76    case Sys.Failed{world,error}:Sys.Failed{world,Identity.LeftError{error}}