~/jendhub

def left_planned

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend as OrdinaryAppExistingExecution
import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

56def left_planned(~S:Data,~L:Type,~R:Type,~Shared:Type,~rightPlan:(R & Shared) -> (R & Shared) & SP.Plan<S>,right:R,result:(L & Shared) & SP.Plan<S>) -> ((L & R) & Shared) & SP.Plan<S>:
57  match result:
58    case ((left,shared),before):right_planned(~S,~L,~R,~Shared,left,before,rightPlan((right,shared)))

Uses (4)

Used by (1)