def condition_placements

bendvy-ecs-core@0.1.0.4 · ordinary_app_schedule_description.bend:79

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_condition_composition.bend as Comp
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as Schedule

79def condition_placements(~S:Data,steps:List<&2,Schedule.PlannedStep<S>>,+namespace:U32,+bindings:List<&2,Comp.BindingDescription>,+position:Nat) -> List<&2,ConditionPlacement>:
80  match steps:
81    case []:[]
82    case first <> rest:List.append(&2,ConditionPlacement,condition_step(~S,namespace,bindings,position,first),condition_placements(~S,rest,namespace,bindings,1n+position))