/Prelude-v20.2.0/JSON/Nesting.dhall

Copy path to clipboard

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"
}

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