def placed

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as Schedule
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO

37# Advanced placement derivation over supplied planned steps, starting at position.
38# Bindings are detached input metadata, not another registration authority.
39def placed(~S:Data,steps:List<&2,Schedule.PlannedStep<S>>,+namespace:U32,+bindings:List<&2,DTO.Binding<S>>,+position:Nat) -> List<&2,Placement<S>>:
40  match steps:
41    case []:[]
42    case first <> rest:step(~S,namespace,bindings,position,first) <> placed(~S,rest,namespace,bindings,1n+position)