dhall-docs-1.0.5: tasty/data/golden/JumpToDefOnUnused.dhall.html
<!DOCTYPE HTML>
<html>
<head>
<title>/JumpToDefOnUnused.dhall</title>
<link href="index.css" type="text/css" rel="stylesheet">
<link 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" type="text/css" rel="stylesheet">
<script src="index.js" type="text/javascript">
</script>
<meta charset="UTF-8">
</head>
<body>
<div class="nav-bar">
<img src="dhall-icon.svg" class="dhall-icon">
<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 href="index.html" class="title-crumb">JumpToDefOnUnused.dhall</span>
</h2>
<a data-path="/JumpToDefOnUnused.dhall" class="copy-to-clipboard">
<i>
<small>Copy path to clipboard</small>
</i>
</a>
<br>
<div class="doc-contents">
<p>
<code>dhall-docs</code> will detect some names (record fields, let-bindings and lam-bindings)
are unused and therefore won't be highlighted</p>
</div>
<h3>Source</h3>
<div class="source-code">
<pre>{-|<br>`dhall-docs` will detect some names (record fields, let-bindings and lam-bindings)<br>are unused and therefore won't be highlighted<br>-}<br>
<br>let unused = 1<br>let <span data-name="var7-5" id="var7-5" class="name-decl">used</span> = 3<br>
<br>let unusedRecord = { foo = 1 }<br>let <span data-name="var10-5" id="var10-5" class="name-decl">usedRecord</span> = { <span data-name="var10-20" id="var10-20" class="name-decl">foo</span> = 1 }<br>
<br>let <span data-name="var12-5" id="var12-5" class="name-decl">f</span> =<br> \(unused : Bool)<br> -> \(<span data-name="var14-10" id="var14-10" class="name-decl">used</span> : Natural)<br> -> \(<span data-name="var15-10" id="var15-10" class="name-decl">r</span> : { unused : Text, <span data-name="var15-31" id="var15-31" class="name-decl">used</span> : Natural}) -> <a href="#var14-10" data-name="var14-10" class="name-use">used</a> + <a href="#var15-10" data-name="var15-10" class="name-use">r</a>.<a href="#var15-31" data-name="var15-31" class="name-use">used</a>
<br>
<br>in <a href="#var7-5" data-name="var7-5" class="name-use">used</a> + <a href="#var10-5" data-name="var10-5" class="name-use">usedRecord</a>.<a href="#var10-20" data-name="var10-20" class="name-use">foo</a> + <a href="#var12-5" data-name="var12-5" class="name-use">f</a> True 1 { unused = "foo", used = 3 }<br>
</pre>
</div>
</div>
</body>
</html>