dhall-fly-0.1.0: dhall-concourse/types/StepConstructors.dhall
let StepHooks = ./StepHooks.dhall
in λ(Step : Type)
→ { get : ./GetStep.dhall → StepHooks Step → Step
, put : ./PutStep.dhall → StepHooks Step → Step
, task : ./TaskStep.dhall → StepHooks Step → Step
, aggregate : List Step → StepHooks Step → Step
, in_parallel : ./InParallelStep.dhall Step → StepHooks Step → Step
, do : List Step → StepHooks Step → Step
, try : Step → StepHooks Step → Step
}