dhall-1.21.0: dhall-lang/Prelude/JSON/keyValue

{-
Builds a key-value record such that a List of them will be converted to a
homogeneous record by dhall-to-json and dhall-to-yaml.

Examples:

```
./keyValue Natural "foo" 2 = { mapKey = "foo", mapValue = 2 }

./keyValue Text "bar" "baz" = { mapKey = "bar", mapValue = "baz" }
```
-}

    let keyValue =
            λ(v : Type)
          → λ(key : Text)
          → λ(value : v)
          → { mapKey = key, mapValue = value }

in  keyValue