dhall-concourse/helpers/translateInParallelStep.dhall

let Types = ../types/package.dhall

let translateInParallelStep
    : ∀(T : Type) →
      Types.StepConstructors T →
      Types.InParallelStep Types.Step →
        Types.InParallelStep T
    = λ(T : Type) →
      λ(constructors : Types.StepConstructors T) →
      λ(parallel : Types.InParallelStep Types.Step) →
        merge
          { Steps =
              λ(s : List Types.Step) →
                (Types.InParallelStep T).Steps
                  (./translateSteps.dhall T constructors s)
          , Config =
              λ(cfg : Types.InParallelConfig Types.Step) →
                (Types.InParallelStep T).Config
                  (   cfg
                    ⫽ { steps = ./translateSteps.dhall T constructors cfg.steps
                      }
                  )
          }
          parallel

in  translateInParallelStep