/Prelude-v16.0.0/JSON/Nesting

Copy path to clipboard

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