taskWithHooks.dhall 401 B

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