getWithHooks.dhall 396 B

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