1234567891011121314151617181920212223 |
- let Prelude = ../lib/prelude.dhall
- let JSON = Prelude.JSON
- let Types = ../types/package.dhall
- let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }
- let TextOptionalTextPair = { mapKey : Text, mapValue : Optional Text }
- let RenderOptional = ./optionals/package.dhall
- let renderPair
- : TextOptionalTextPair → TextJSONPair
- = λ(p : TextOptionalTextPair)
- → p ⫽ { mapValue = RenderOptional.text p.mapValue }
- let renderTextTextMap
- : List TextOptionalTextPair → Types.JSONObject
- = Prelude.List.map TextOptionalTextPair TextJSONPair renderPair
- in renderTextTextMap
|