/ test-package / JumpToRecordFieldWhenVarIsOfRecordType.dhall
Copy path to clipboardOn this example, dhall-docs
will detect that the variable a
is bounded
to a record-literal. When the user clicks on the field
in the a.field
, it
will jump to the definition of that field in the source code i.e. to the field
key in the record literal
Source
{-|
On this example, `dhall-docs` will detect that the variable `a` is bounded
to a record-literal. When the user clicks on the `field` in the `a.field`, it
will jump to the definition of that field in the source code i.e. to the `field`
key in the record literal
-}
let a = { field = "foo" }
in Text/show a.field