setPipelineStepWithHooks.dhall 437 B

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