1234567891011121314151617 |
- let Types = ./../types/package.dhall
- let Defaults = ./../defaults/package.dhall
- let taskStep
- : Types.TaskStep → Types.Step
- = λ(taskStep : Types.TaskStep)
- → λ(Step : Type)
- → λ(GetStep : Types.GetStep → Types.StepHooks Step → Step)
- → λ(PutStep : Types.PutStep → Types.StepHooks Step → Step)
- → λ(TaskStep : Types.TaskStep → Types.StepHooks Step → Step)
- → λ(AggregateStep : List Step → Types.StepHooks Step → Step)
- → λ(DoStep : List Step → Types.StepHooks Step → Step)
- → λ(TryStep : Step → Types.StepHooks Step → Step)
- → TaskStep taskStep (Defaults.StepHooks Step)
- in taskStep
|