inParallelWithHooks.dhall 531 B

1234567891011121314
  1. let Types = ../types/package.dhall
  2. let inParallelWithHooks
  3. : Types.InParallelStep Types.Step → Types.StepHooks Types.Step → Types.Step
  4. = λ(parallelSteps : Types.InParallelStep Types.Step) →
  5. λ(hooks : Types.StepHooks Types.Step) →
  6. λ(Step : Type) →
  7. λ(constructors : Types.StepConstructors Step) →
  8. constructors.in_parallel
  9. (./translateInParallelStep.dhall Step constructors parallelSteps)
  10. (./translateHooks.dhall Step constructors hooks)
  11. in inParallelWithHooks