/Prelude-v16.0.0/JSON/render
Copy path to clipboardSource
{- Render a `JSON` value as `Text`
This is useful for debugging `JSON` values or for tests. For anything
more sophisticated you should use `dhall-to-json` or `dhall-to-yaml`
-}
let JSON =
./core.dhall sha256:5dc1135d5481cfd6fde625aaed9fcbdb7aa7c14f2e76726aa5fdef028a5c10f5
? ./core.dhall
let renderAs =
./renderAs sha256:f16238edec4c6dd846f19677c6675b27c579999dcff91db6193c10ade1d83174
? ./renderAs
let Format =
./Format sha256:d7936b510cfc091faa994652af0eb5feb889cd44bc989edbe4f1eb8c5623caac
? ./Format
let render
: JSON.Type → Text
= renderAs Format.JSON
let example0 =
let data =
assert
: render
( JSON.array
[ JSON.bool True
, JSON.string "Hello"
, JSON.object
[ { mapKey = "foo", mapValue = JSON.null }
, { mapKey = "bar", mapValue = JSON.double 1.0 }
]
]
)
≡ ''
[
true,
"Hello",
{
"foo": null,
"bar": 1.0
}
]
''
in True
in render