dhall-fly-0.2.3: dhall-concourse/helpers/putWithHooks.dhall
let Types = ../types/package.dhall
in ( λ(putStep : Types.PutStep)
→ λ(hooks : Types.StepHooks Types.Step)
→ λ(Step : Type)
→ λ(constructors : Types.StepConstructors Step)
→ constructors.put
putStep
(./translateHooks.dhall hooks Step constructors)
)
: Types.PutStep → Types.StepHooks Types.Step → Types.Step