~/jendhub

def plan_right

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend as OrdinaryAppExecutionRecipe
import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

50def plan_right(~S:Data,~L:Type,~R:Type,left:L,before:SP.Plan<S>,result:R & SP.Plan<S>) -> (L & R) & SP.Plan<S>:
51  match result:
52    case (right,after):((left,right),SP.Sequence{before,after})

Uses (3)

Used by (1)