/Prelude-v20.0.0/JSON/Nesting.dhall
Copy path to clipboardThis type is used as part of dhall-json
's support for preserving alternative
names
For example, this Dhall code:
let Example = < Left : { foo : Natural } | Right : { bar : Bool } >
let Nesting = < Inline | Nested : Text >
in { field =
"name"
, nesting =
Nesting.Inline
, contents =
Example.Left { foo = 2 }
}
... generates this JSON:
{
"foo": 2,
"name": "Left"
}
Source
{-|
This type is used as part of `dhall-json`'s support for preserving alternative
names
For example, this Dhall code:
```
let Example = < Left : { foo : Natural } | Right : { bar : Bool } >
let Nesting = < Inline | Nested : Text >
in { field =
"name"
, nesting =
Nesting.Inline
, contents =
Example.Left { foo = 2 }
}
```
... generates this JSON:
```
{
"foo": 2,
"name": "Left"
}
```
-}
let Nesting
: Type
= < Inline | Nested : Text >
in Nesting