dhall-docs-0.0.1: tasty/data/golden/deep/nested/folder/my-even.dhall.html
<!DOCTYPE HTML>
<html
><head
><title
>/deep/nested/folder/my-even.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&display=swap"
type="text/css" rel="stylesheet"
/><script src="../../../index.js" type="text/javascript"
/><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"
/><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
><a href="../../index.html" class="title-crumb"
>deep</a
><span class="crumb-divider"
>/</span
><a href="../index.html" class="title-crumb"
>nested</a
><span class="crumb-divider"
>/</span
><a href="index.html" class="title-crumb"
>folder</a
><span class="crumb-divider"
>/</span
><span href="index.html" class="title-crumb"
>my-even.dhall</span></h2
><a data-path="/deep/nested/folder/my-even.dhall"
class="copy-to-clipboard"
><i
><small
>Copy path to clipboard</small></i></a
><br
/><div class="doc-contents"
><p
>Check if a natural is even or not returning an union data-type</p>
</div
><h3
>Examples</h3
><div class="source-code code-examples"
><pre
><span class="dhall-label"
>my-even</span
> <span class="dhall-literal"
>1</span
> <span class="dhall-operator"
>≡</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><span class="dhall-syntax"
>.</span
><span class="dhall-label"
>odd</span></pre
><pre
><span class="dhall-label"
>my-even</span
> <span class="dhall-literal"
>2</span
> <span class="dhall-operator"
>≡</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><span class="dhall-syntax"
>.</span
><span class="dhall-label"
>even</span></pre></div
><h3
>Source</h3
><div class="source-code"
><pre
><span class="dhall-keyword"
>let</span
> <span class="dhall-label"
>my-even</span
><br
/> <span class="dhall-syntax"
>:</span
> <span class="dhall-builtin"
>Natural</span
> <span class="dhall-syntax"
>→</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><br
/> <span class="dhall-syntax"
>=</span
> <span class="dhall-syntax"
>λ</span
><span class="dhall-syntax"
>(</span
><span class="dhall-label"
>n</span
> <span class="dhall-syntax"
>:</span
> <span class="dhall-builtin"
>Natural</span
><span class="dhall-syntax"
>)</span
> <span class="dhall-syntax"
>→</span
><br
/> <span class="dhall-keyword"
>if</span
> <span class="dhall-builtin"
>Natural/even</span
> <span class="dhall-label"
>n</span
> <span class="dhall-keyword"
>then</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><span class="dhall-syntax"
>.</span
><span class="dhall-label"
>even</span
> <span class="dhall-keyword"
>else</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><span class="dhall-syntax"
>.</span
><span class="dhall-label"
>odd</span
><br
/><br
/><span class="dhall-keyword"
>let</span
> <span class="dhall-label"
>example0</span
> <span class="dhall-syntax"
>=</span
> <span class="dhall-keyword"
>assert</span
> <span class="dhall-syntax"
>:</span
> <span class="dhall-label"
>my-even</span
> <span class="dhall-literal"
>1</span
> <span class="dhall-operator"
>≡</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><span class="dhall-syntax"
>.</span
><span class="dhall-label"
>odd</span
><br
/><br
/><span class="dhall-keyword"
>let</span
> <span class="dhall-label"
>example0</span
> <span class="dhall-syntax"
>=</span
> <span class="dhall-keyword"
>assert</span
> <span class="dhall-syntax"
>:</span
> <span class="dhall-label"
>my-even</span
> <span class="dhall-literal"
>2</span
> <span class="dhall-operator"
>≡</span
> <span class="dhall-syntax"
><</span
> <span class="dhall-label"
>even</span
> <span class="dhall-syntax"
>|</span
> <span class="dhall-label"
>odd</span
> <span class="dhall-syntax"
>></span
><span class="dhall-syntax"
>.</span
><span class="dhall-label"
>even</span
><br
/><br
/><span class="dhall-keyword"
>in</span
> <span class="dhall-label"
>my-even</span></pre></div></div></body></html>