~/jendhub

def plan_left

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

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

53def plan_left(~S:Data,~L:Type,~R:Type,~right:R -> R & SP.Plan<S>,owner:R,result:L & SP.Plan<S>) -> (L & R) & SP.Plan<S>:
54  match result:
55    case (left,before):plan_right(~S,~L,~R,left,before,right(owner))

Uses (4)

Used by (1)