123456789101112131415161718 |
- let Prelude = ../lib/prelude.dhall
- let JSON = Prelude.JSON
- let Types = ../types/package.dhall
- let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }
- let renderTextTextPair
- : Types.TextTextPair → TextJSONPair
- = λ(p : Types.TextTextPair) → p ⫽ { mapValue = JSON.string p.mapValue }
- let renderTextTextMap
- : List Types.TextTextPair → Types.JSONObject
- = Prelude.List.map Types.TextTextPair TextJSONPair renderTextTextPair
- in renderTextTextMap
|