getVersion.dhall 625 B

123456789101112131415161718192021222324252627
  1. let Prelude = ../lib/prelude.dhall
  2. let JSON = Prelude.JSON
  3. let Types = ../types/package.dhall
  4. let renderLatest
  5. : Text → JSON.Type
  6. = λ(ignored : Text) → JSON.string "latest"
  7. let renderEvery
  8. : Text → JSON.Type
  9. = λ(ignored : Text) → JSON.string "every"
  10. let renderSpecific
  11. : List Types.TextTextPair → JSON.Type
  12. = λ(version : List Types.TextTextPair)
  13. → JSON.object (./textTextMap.dhall version)
  14. in λ(version : Types.GetVersion)
  15. → merge
  16. { Latest = renderLatest
  17. , Every = renderEvery
  18. , SpecificVersion = renderSpecific
  19. }
  20. version