def pair_dispatch

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields
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

75def pair_dispatch(~S:Data,~World:Type,~L:Type,~R:Type,~Shared:Type,~Error:Data,~leftFold:(L & Shared) -> (L & Shared) & List<&2,Fields.Fields<S>>,~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>,value:(L & R) & Shared,context:Ctx.Context<World>,id:U32) -> ((L & R) & Shared) & Sys.Outcome<Ctx.Context<World>,Error,Unit>:
76  match value:
77    case ((left,right),shared):pair_catalogued(~S,~World,~L,~R,~Shared,~Error,~leftDispatch,~rightDispatch,right,context,id,leftFold((left,shared)))