Dhall.JSON: Update documentation of Nesting type (#1385)
This commit is contained in:
parent
613a44d512
commit
6a8e7e12cc
|
@ -117,7 +117,7 @@
|
||||||
* @field@: the name of the field that will store the name of the
|
* @field@: the name of the field that will store the name of the
|
||||||
alternative
|
alternative
|
||||||
|
|
||||||
* @nesting@: A value of type @\< Inline : {} | Nested : Text \>@.
|
* @nesting@: A value of type @\< Inline | Nested : Text \>@.
|
||||||
|
|
||||||
If @nesting@ is set to @Inline@ and the union literal stored in @contents@
|
If @nesting@ is set to @Inline@ and the union literal stored in @contents@
|
||||||
contains a record then the name of the alternative is stored inline within
|
contains a record then the name of the alternative is stored inline within
|
||||||
|
@ -144,7 +144,7 @@
|
||||||
|
|
||||||
> let Example = < Left : { foo : Natural } | Right : { bar : Bool } >
|
> let Example = < Left : { foo : Natural } | Right : { bar : Bool } >
|
||||||
>
|
>
|
||||||
> let Nesting = < Inline : {} | Nested : Text >
|
> let Nesting = < Inline | Nested : Text >
|
||||||
>
|
>
|
||||||
> in { field = "name"
|
> in { field = "name"
|
||||||
> , nesting = Nesting.Nested "value"
|
> , nesting = Nesting.Nested "value"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user