/JSON

/Prelude-v17.0.0/JSON

Copy path to clipboard

Exported files:

Format
Nesting:
```
Type
```
Tagged:
```
Type → Type
```
Type:
```
Type
```
array:
```
List JSON → JSON
```
bool:
```
Bool → JSON
```
core.dhall
double:
```
Double → JSON
```
integer:
```
Integer → JSON
```
keyText
keyValue
natural:
```
Natural → JSON
```
null:
```
JSON
```
number:
```
Double → JSON
```

List { mapKey : Text, mapValue : JSON } → JSON

omitNullFields:
```
JSON.Type → JSON.Type
```
package.dhall
render:
```
JSON.Type → Text
```
renderAs:
```
Format → JSON.Type → Text
```
renderInteger.dhall:
```
Integer → Text
```
renderYAML:
```
JSON.Type → Text
```
string:
```
Text → JSON
```

Text → ∀(a : Type) → a → Tagged a

Text → Text → ∀(a : Type) → a → Tagged a