dhall-fly-0.2.0: dhall-concourse/render/getVersion.dhall

let Prelude = ../lib/prelude.dhall

let JSON = Prelude.JSON

let Types = ../types/package.dhall

let renderLatest
    : Text → JSON.Type
    = λ(ignored : Text) → JSON.string "latest"

let renderEvery
    : Text → JSON.Type
    = λ(ignored : Text) → JSON.string "every"

let renderSpecific
    : List Types.TextTextPair → JSON.Type
    =   λ(version : List Types.TextTextPair)
      → JSON.object (./textTextMap.dhall version)

in    λ(version : Types.GetVersion)
    → merge
        { Latest = renderLatest
        , Every = renderEvery
        , SpecificVersion = renderSpecific
        }
        version