getStep.dhall 309 B

1234567891011
  1. let Types = ../types/package.dhall
  2. let Defaults = ../defaults/package.dhall
  3. in ( λ(getStep : Types.GetStep)
  4. → λ(Step : Type)
  5. → λ(constructors : Types.StepConstructors Step)
  6. → constructors.get getStep (Defaults.StepHooks Step)
  7. )
  8. : Types.GetStep → Types.Step