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

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