def pair_selected

bendvy-ecs-core@0.1.0.4 · ordinary_app_existing_execution.bend:68

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

68def pair_selected(~World:Type,~L:Type,~R:Type,~Shared:Type,~Error:Data,~leftDispatch:(L & Shared) -> Ctx.Context<World> -> U32 -> (L & Shared) & Sys.Outcome<Ctx.Context<World>,Error,Unit>,~rightDispatch:(R & Shared) -> Ctx.Context<World> -> U32 -> (R & Shared) & Sys.Outcome<Ctx.Context<World>,Error,Unit>,selected:Bool,left:L,right:R,shared:Shared,context:Ctx.Context<World>,id:U32) -> ((L & R) & Shared) & Sys.Outcome<Ctx.Context<World>,Error,Unit>:
69  match selected:
70    case True{}:left_returned(~World,~L,~R,~Shared,~Error,right,leftDispatch((left,shared),context,id))
71    case False{}:right_returned(~World,~L,~R,~Shared,~Error,left,rightDispatch((right,shared),context,id))