def dispatch_selected

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

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

87def dispatch_selected(~World:Type,~L:Type,~R:Type,~LE:Data,~RE:Data,~left:L -> Ctx.Context<World> -> U32 -> L & Sys.Outcome<Ctx.Context<World>,LE,Unit>,~right:R -> Ctx.Context<World> -> U32 -> R & Sys.Outcome<Ctx.Context<World>,RE,Unit>,found:Bool,a:L,b:R,world:Ctx.Context<World>,id:U32) -> (L & R) & Sys.Outcome<Ctx.Context<World>,Identity.Choice<LE,RE>,Unit>:
88  match found:
89    case True{}:left_returned(~World,~L,~R,~LE,~RE,b,left(a,world,id))
90    case False{}:right_returned(~World,~L,~R,~LE,~RE,a,right(b,world,id))