~/jendhub

def right_planned

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

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

53def right_planned(~S:Data,~L:Type,~R:Type,~Shared:Type,left:L,before:SP.Plan<S>,result:(R & Shared) & SP.Plan<S>) -> ((L & R) & Shared) & SP.Plan<S>:
54  match result:
55    case ((right,shared),after):(((left,right),shared),SP.Sequence{before,after})

Uses (3)

Used by (1)