Skip to content

Commit

Permalink
Update gh-pages
Browse files Browse the repository at this point in the history 
Store path: /nix/store/6zbsvpwh9jrh94lcwpfgykvk2gfpxi23-prelude-1.0.0
  • Loading branch information
@hercules-ci
hercules-ci[bot] committed Dec 14, 2023
1 parent 1f46899 commit ed62558
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion classes/Runtime_Map.Map.html
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!DOCTYPE html><html class="default" lang="en"><head><meta charSet="utf-8"/><meta http-equiv="x-ua-compatible" content="IE=edge"/><title>Map | prelude</title><meta name="description" content="Documentation for prelude"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="stylesheet" href="../assets/style.css"/><link rel="stylesheet" href="../assets/highlight.css"/><script defer src="../assets/main.js"></script><script async src="../assets/search.js" id="tsd-search-script"></script><script async src="../assets/navigation.js" id="tsd-nav-script"></script></head><body><script>document.documentElement.dataset.theme = localStorage.getItem("tsd-theme") || "os"</script><header class="tsd-page-toolbar"><div class="tsd-toolbar-contents container"><div class="table-cell" id="tsd-search" data-base=".."><div class="field"><label for="tsd-search-field" class="tsd-widget tsd-toolbar-icon search no-caption"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-search"></use></svg></label><input type="text" id="tsd-search-field" aria-label="Search"/></div><div class="field"><div id="tsd-toolbar-links"></div></div><ul class="results"><li class="state loading">Preparing search index...</li><li class="state failure">The search index is not available</li></ul><a href="../index.html" class="title">prelude</a></div><div class="table-cell" id="tsd-widgets"><a href="#" class="tsd-widget tsd-toolbar-icon menu no-caption" data-toggle="menu" aria-label="Menu"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-menu"></use></svg></a></div></div></header><div class="container container-main"><div class="col-content"><div class="tsd-page-title"><ul class="tsd-breadcrumb"><li><a href="../index.html">prelude</a></li><li><a href="../modules/Runtime_Map.html">Runtime/Map</a></li><li><a href="Runtime_Map.Map.html">Map</a></li></ul><h1>Class Map&lt;K, V&gt;</h1></div><section class="tsd-panel tsd-comment"><div class="tsd-comment tsd-typography"><p>A mapping from <code>K</code> to <code>V</code> where <code>K</code> must have a <a href="../interfaces/Prelude.Ord.html" class="tsd-kind-interface">Ord</a> instance.</p>
</div><div class="tsd-comment tsd-typography"><h4>Example</h4><pre><code class="language-ts"><span class="hl-5">import</span><span class="hl-1"> </span><span class="hl-6">*</span><span class="hl-1"> </span><span class="hl-5">as</span><span class="hl-1"> </span><span class="hl-0">Prelude</span><span class="hl-1"> </span><span class="hl-5">from</span><span class="hl-1"> </span><span class="hl-4">&quot;lbr-prelude&quot;</span><br/><br/><span class="hl-6">let</span><span class="hl-1"> </span><span class="hl-0">map</span><span class="hl-1"> : </span><span class="hl-3">Map</span><span class="hl-1">&lt;</span><span class="hl-3">string</span><span class="hl-1">, </span><span class="hl-3">string</span><span class="hl-1">&gt; = </span><span class="hl-6">new</span><span class="hl-1"> </span><span class="hl-7">Map</span><span class="hl-1">();</span><br/><span class="hl-7">insert</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-4">&quot;b&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">)</span><br/><span class="hl-7">lookup</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">) </span><span class="hl-8">// returns `&quot;b&quot;`</span><br/><span class="hl-0">map</span><span class="hl-1">.</span><span class="hl-0">length</span><span class="hl-1"> </span><span class="hl-8">// is 1</span><br/><br/><span class="hl-7">insert</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">. </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-4">&quot;c&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">)</span><br/><span class="hl-7">lookup</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">) </span><span class="hl-8">// returns `&quot;c&quot;`</span><br/><span class="hl-0">map</span><span class="hl-1">.</span><span class="hl-0">length</span><span class="hl-1"> </span><span class="hl-8">// is 1</span><br/><br/><span class="hl-7">remove</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">)</span><br/><span class="hl-7">lookup</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">) </span><span class="hl-8">// returns `undefined`</span><br/><span class="hl-0">map</span><span class="hl-1">.</span><span class="hl-0">length</span><span class="hl-1"> </span><span class="hl-8">// is 0</span>
</div><div class="tsd-comment tsd-typography"><h4>Example</h4><pre><code class="language-ts"><span class="hl-5">import</span><span class="hl-1"> </span><span class="hl-6">*</span><span class="hl-1"> </span><span class="hl-5">as</span><span class="hl-1"> </span><span class="hl-0">Prelude</span><span class="hl-1"> </span><span class="hl-5">from</span><span class="hl-1"> </span><span class="hl-4">&quot;prelude/Map.js&quot;</span><br/><br/><span class="hl-6">let</span><span class="hl-1"> </span><span class="hl-0">map</span><span class="hl-1"> : </span><span class="hl-3">Map</span><span class="hl-1">&lt;</span><span class="hl-3">string</span><span class="hl-1">, </span><span class="hl-3">string</span><span class="hl-1">&gt; = </span><span class="hl-6">new</span><span class="hl-1"> </span><span class="hl-7">Map</span><span class="hl-1">();</span><br/><span class="hl-7">insert</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-4">&quot;b&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">)</span><br/><span class="hl-7">lookup</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">) </span><span class="hl-8">// returns `&quot;b&quot;`</span><br/><span class="hl-0">map</span><span class="hl-1">.</span><span class="hl-0">length</span><span class="hl-1"> </span><span class="hl-8">// is 1</span><br/><br/><span class="hl-7">insert</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">. </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-4">&quot;c&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">)</span><br/><span class="hl-7">lookup</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">) </span><span class="hl-8">// returns `&quot;c&quot;`</span><br/><span class="hl-0">map</span><span class="hl-1">.</span><span class="hl-0">length</span><span class="hl-1"> </span><span class="hl-8">// is 1</span><br/><br/><span class="hl-7">remove</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">)</span><br/><span class="hl-7">lookup</span><span class="hl-1">(</span><span class="hl-0">Prelude</span><span class="hl-1">.</span><span class="hl-0">ordString</span><span class="hl-1">, </span><span class="hl-4">&quot;a&quot;</span><span class="hl-1">, </span><span class="hl-0">map</span><span class="hl-1">) </span><span class="hl-8">// returns `undefined`</span><br/><span class="hl-0">map</span><span class="hl-1">.</span><span class="hl-0">length</span><span class="hl-1"> </span><span class="hl-8">// is 0</span>
</code><button>Copy</button></pre>
</div></section> <section class="tsd-panel"><h4>Type Parameters</h4><ul class="tsd-type-parameter-list"><li><h4><span class="tsd-kind-type-parameter">K</span></h4></li><li><h4><span class="tsd-kind-type-parameter">V</span></h4></li></ul></section> <aside class="tsd-sources"><ul><li>Defined in src/Prelude/Runtime/Map.ts:27</li></ul></aside><section class="tsd-panel-group tsd-index-group"><section class="tsd-panel tsd-index-panel"><details class="tsd-index-content tsd-index-accordion" open><summary class="tsd-accordion-summary tsd-index-summary"><h5 class="tsd-index-heading uppercase" role="button" aria-expanded="false" tabIndex="0"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-chevronSmall"></use></svg> Index</h5></summary><div class="tsd-accordion-details"><section class="tsd-index-section"><h3 class="tsd-index-heading">Constructors</h3><div class="tsd-index-list"><a href="Runtime_Map.Map.html#constructor" class="tsd-index-link"><svg class="tsd-kind-icon" viewBox="0 0 24 24"><use href="#icon-512"></use></svg><span>constructor</span></a>
</div></section><section class="tsd-index-section"><h3 class="tsd-index-heading">Properties</h3><div class="tsd-index-list"><a href="Runtime_Map.Map.html#length" class="tsd-index-link"><svg class="tsd-kind-icon" viewBox="0 0 24 24"><use href="#icon-1024"></use></svg><span>length</span></a>
Expand Down
2 changes: 1 addition & 1 deletion interfaces/Prelude.Eq.html
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<!DOCTYPE html><html class="default" lang="en"><head><meta charSet="utf-8"/><meta http-equiv="x-ua-compatible" content="IE=edge"/><title>Eq | prelude</title><meta name="description" content="Documentation for prelude"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="stylesheet" href="../assets/style.css"/><link rel="stylesheet" href="../assets/highlight.css"/><script defer src="../assets/main.js"></script><script async src="../assets/search.js" id="tsd-search-script"></script><script async src="../assets/navigation.js" id="tsd-nav-script"></script></head><body><script>document.documentElement.dataset.theme = localStorage.getItem("tsd-theme") || "os"</script><header class="tsd-page-toolbar"><div class="tsd-toolbar-contents container"><div class="table-cell" id="tsd-search" data-base=".."><div class="field"><label for="tsd-search-field" class="tsd-widget tsd-toolbar-icon search no-caption"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-search"></use></svg></label><input type="text" id="tsd-search-field" aria-label="Search"/></div><div class="field"><div id="tsd-toolbar-links"></div></div><ul class="results"><li class="state loading">Preparing search index...</li><li class="state failure">The search index is not available</li></ul><a href="../index.html" class="title">prelude</a></div><div class="table-cell" id="tsd-widgets"><a href="#" class="tsd-widget tsd-toolbar-icon menu no-caption" data-toggle="menu" aria-label="Menu"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-menu"></use></svg></a></div></div></header><div class="container container-main"><div class="col-content"><div class="tsd-page-title"><ul class="tsd-breadcrumb"><li><a href="../index.html">prelude</a></li><li><a href="../modules/Prelude.html">Prelude</a></li><li><a href="Prelude.Eq.html">Eq</a></li></ul><h1>Interface Eq&lt;A&gt;</h1></div><section class="tsd-panel tsd-comment"><div class="tsd-comment tsd-typography"><p><code>Eq</code> is a typeclass for &quot;deep&quot; i.e., all substructures recursively are equal by
<!DOCTYPE html><html class="default" lang="en"><head><meta charSet="utf-8"/><meta http-equiv="x-ua-compatible" content="IE=edge"/><title>Eq | prelude</title><meta name="description" content="Documentation for prelude"/><meta name="viewport" content="width=device-width, initial-scale=1"/><link rel="stylesheet" href="../assets/style.css"/><link rel="stylesheet" href="../assets/highlight.css"/><script defer src="../assets/main.js"></script><script async src="../assets/search.js" id="tsd-search-script"></script><script async src="../assets/navigation.js" id="tsd-nav-script"></script></head><body><script>document.documentElement.dataset.theme = localStorage.getItem("tsd-theme") || "os"</script><header class="tsd-page-toolbar"><div class="tsd-toolbar-contents container"><div class="table-cell" id="tsd-search" data-base=".."><div class="field"><label for="tsd-search-field" class="tsd-widget tsd-toolbar-icon search no-caption"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-search"></use></svg></label><input type="text" id="tsd-search-field" aria-label="Search"/></div><div class="field"><div id="tsd-toolbar-links"></div></div><ul class="results"><li class="state loading">Preparing search index...</li><li class="state failure">The search index is not available</li></ul><a href="../index.html" class="title">prelude</a></div><div class="table-cell" id="tsd-widgets"><a href="#" class="tsd-widget tsd-toolbar-icon menu no-caption" data-toggle="menu" aria-label="Menu"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-menu"></use></svg></a></div></div></header><div class="container container-main"><div class="col-content"><div class="tsd-page-title"><ul class="tsd-breadcrumb"><li><a href="../index.html">prelude</a></li><li><a href="../modules/Prelude.html">Prelude</a></li><li><a href="Prelude.Eq.html">Eq</a></li></ul><h1>Interface Eq&lt;A&gt;</h1></div><section class="tsd-panel tsd-comment"><div class="tsd-comment tsd-typography"><p><a href="Prelude.Eq.html" class="tsd-kind-interface">Eq</a> is a typeclass for &quot;deep&quot; equality i.e., all substructures recursively are equal by
value.</p>
</div><div class="tsd-comment tsd-typography"></div></section><div class="tsd-signature"><span class="tsd-signature-keyword">interface </span><span class="tsd-kind-interface">Eq </span><span class="tsd-signature-symbol">{ </span><br/><span>    </span><a class="tsd-kind-property" href="Prelude.Eq.html#eq">eq</a><span class="tsd-signature-symbol">: </span><span class="tsd-signature-symbol">(</span><span class="tsd-signature-symbol">(</span><span class="tsd-kind-parameter">l</span>, <span class="tsd-kind-parameter">r</span><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol"> =&gt; </span><span class="tsd-signature-type">boolean</span><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">; </span><br/><span>    </span><a class="tsd-kind-property" href="Prelude.Eq.html#neq">neq</a><span class="tsd-signature-symbol">: </span><span class="tsd-signature-symbol">(</span><span class="tsd-signature-symbol">(</span><span class="tsd-kind-parameter">l</span>, <span class="tsd-kind-parameter">r</span><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol"> =&gt; </span><span class="tsd-signature-type">boolean</span><span class="tsd-signature-symbol">)</span><span class="tsd-signature-symbol">; </span><br/><span class="tsd-signature-symbol">}</span></div> <section class="tsd-panel"><h4>Type Parameters</h4><ul class="tsd-type-parameter-list"><li><h4><span class="tsd-kind-type-parameter">A</span></h4></li></ul></section> <section class="tsd-panel tsd-hierarchy"><h4>Hierarchy</h4><ul class="tsd-hierarchy"><li><span class="target">Eq</span><ul class="tsd-hierarchy"><li><a href="Prelude.Ord.html" class="tsd-signature-type tsd-kind-interface">Ord</a></li></ul></li></ul></section><aside class="tsd-sources"><ul><li>Defined in src/Prelude/Runtime/Eq.ts:5</li></ul></aside><section class="tsd-panel-group tsd-index-group"><section class="tsd-panel tsd-index-panel"><details class="tsd-index-content tsd-index-accordion" open><summary class="tsd-accordion-summary tsd-index-summary"><h5 class="tsd-index-heading uppercase" role="button" aria-expanded="false" tabIndex="0"><svg width="16" height="16" viewBox="0 0 16 16" fill="none"><use href="#icon-chevronSmall"></use></svg> Index</h5></summary><div class="tsd-accordion-details"><section class="tsd-index-section"><h3 class="tsd-index-heading">Properties</h3><div class="tsd-index-list"><a href="Prelude.Eq.html#eq" class="tsd-index-link"><svg class="tsd-kind-icon" viewBox="0 0 24 24"><use href="#icon-1024"></use></svg><span>eq</span></a>
<a href="Prelude.Eq.html#neq" class="tsd-index-link"><svg class="tsd-kind-icon" viewBox="0 0 24 24"><use href="#icon-1024"></use></svg><span>neq</span></a>
Expand Down
Loading

0 comments on commit ed62558

Please sign in to comment.