Pair.dhall.html

<!DOCTYPE HTML>
<html
  ><head
    ><title
    >/Pair.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&amp;family=Lato&amp;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
        ><span href="index.html" class="title-crumb"
        >Pair.dhall</span></h2
      ><a data-path="/Pair.dhall" class="copy-to-clipboard"
        ><i
          ><small
          >Copy path to clipboard</small></i></a
      ><br
      /><div class="doc-contents"
        ><p
          >Just a <em
          >Pair</em> right here</p>
</div
      ><h3
      >Source</h3
      ><div class="source-code"
        ><pre
          ><span class="dhall-keyword"
          >let</span
          > <span class="dhall-label"
          >Pair</span
          ><br
          />    <span class="dhall-syntax"
          >:</span
          > <span class="dhall-syntax"
          >∀</span
          ><span class="dhall-syntax"
          >(</span
          ><span class="dhall-label"
          >A</span
          > <span class="dhall-syntax"
          >:</span
          > <span class="dhall-builtin"
          >Type</span
          ><span class="dhall-syntax"
          >)</span
          > <span class="dhall-syntax"
          >→</span
          > <span class="dhall-syntax"
          >∀</span
          ><span class="dhall-syntax"
          >(</span
          ><span class="dhall-label"
          >B</span
          > <span class="dhall-syntax"
          >:</span
          > <span class="dhall-builtin"
          >Type</span
          ><span class="dhall-syntax"
          >)</span
          > <span class="dhall-syntax"
          >→</span
          > <span class="dhall-builtin"
          >Type</span
          ><br
          />    <span class="dhall-syntax"
          >=</span
          > <span class="dhall-syntax"
          >λ</span
          ><span class="dhall-syntax"
          >(</span
          ><span class="dhall-label"
          >A</span
          > <span class="dhall-syntax"
          >:</span
          > <span class="dhall-builtin"
          >Type</span
          ><span class="dhall-syntax"
          >)</span
          > <span class="dhall-syntax"
          >→</span
          > <span class="dhall-syntax"
          >λ</span
          ><span class="dhall-syntax"
          >(</span
          ><span class="dhall-label"
          >B</span
          > <span class="dhall-syntax"
          >:</span
          > <span class="dhall-builtin"
          >Type</span
          ><span class="dhall-syntax"
          >)</span
          > <span class="dhall-syntax"
          >→</span
          > <span class="dhall-syntax"
          >{</span
          > <span class="dhall-label"
          >first</span
          > <span class="dhall-syntax"
          >:</span
          > <span class="dhall-label"
          >A</span
          ><span class="dhall-syntax"
          >,</span
          > <span class="dhall-label"
          >second</span
          > <span class="dhall-syntax"
          >:</span
          > <span class="dhall-label"
          >B</span
          > <span class="dhall-syntax"
          >}</span
          ><br
          /><br
          /><span class="dhall-keyword"
          >in</span
          >  <span class="dhall-label"
          >Pair</span></pre></div></div></body></html>