aggregateWithHooks.dhall 445 B

123456789101112
  1. let Types = ../types/package.dhall
  2. in ( λ(steps : List Types.Step) →
  3. λ(hooks : Types.StepHooks Types.Step) →
  4. λ(Step : Type) →
  5. λ(constructors : Types.StepConstructors Step) →
  6. constructors.aggregate
  7. (./translateSteps.dhall Step constructors steps)
  8. (./translateHooks.dhall Step constructors hooks)
  9. )
  10. : List Types.Step → Types.StepHooks Types.Step → Types.Step