textTextMap.dhall 474 B

123456789101112131415161718
  1. let Prelude = ../lib/prelude.dhall
  2. let JSON = Prelude.JSON
  3. let Types = ../types/package.dhall
  4. let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }
  5. let renderTextTextPair
  6. : Types.TextTextPair → TextJSONPair
  7. = λ(p : Types.TextTextPair) → p ⫽ { mapValue = JSON.string p.mapValue }
  8. let renderTextTextMap
  9. : List Types.TextTextPair → Types.JSONObject
  10. = Prelude.List.map Types.TextTextPair TextJSONPair renderTextTextPair
  11. in renderTextTextMap