dhall-docs-1.0.8: tasty/data/golden/JumpToLetBindingSimple.dhall.html
<!DOCTYPE HTML>
<html>
<head>
<title>/JumpToLetBindingSimple.dhall</title>
<link rel="stylesheet" type="text/css" href="index.css">
<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&family=Lato:ital,wght@0,400;0,700;1,400&display=swap">
<script type="text/javascript" src="index.js">
</script>
<meta charset="UTF-8">
</head>
<body>
<div class="nav-bar">
<img class="dhall-icon" src="dhall-icon.svg">
<p class="package-title">test-package</p>
<div class="nav-bar-content-divider">
</div>
<a id="switch-light-dark-mode" class="nav-option">Switch Light/Dark Mode</a>
</div>
<div class="main-container">
<h2 class="doc-title">
<span class="crumb-divider">/</span>
<a href="index.html">test-package</a>
<span class="crumb-divider">/</span>
<span class="title-crumb" href="index.html">JumpToLetBindingSimple.dhall</span>
</h2>
<a class="copy-to-clipboard" data-path="/JumpToLetBindingSimple.dhall">
<i>
<small>Copy path to clipboard</small>
</i>
</a>
<br>
<div class="doc-contents">
<p>This examples shows a demo of jumping to a let-binding definition. If you hover
the <code>a</code> variable, the front-end will highlight all of its usages and if you
click it you will navigate to its definition.</p>
<p>The amount of empty lines left are intentional to show you how the browser jumps
to the declaration of a</p>
</div>
<h3>Source</h3>
<div class="source-code">
<pre>{-|<br>This examples shows a demo of jumping to a let-binding definition. If you hover<br>the `a` variable, the front-end will highlight all of its usages and if you<br>click it you will navigate to its definition.<br>
<br>The amount of empty lines left are intentional to show you how the browser jumps<br>to the declaration of a<br>-}<br>let <span id="var9-5" class="name-decl" data-name="var9-5">a</span> = 1<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>in<br>
<br>
<a href="#var9-5" class="name-use" data-name="var9-5">a</a>
<br>
</pre>
</div>
</div>
</body>
</html>