Deploying to gh-pages from @ 459950c 🚀

Author: jonaprieto

pr-193/404.html

@@ -945,7 +945,7 @@ <h1>404 - Not found</h1>
       <div class="md-copyright">
 
   <div class="md-copyright__highlight">
-    Branch:tg-x/template-messages - Python:3.x - Poetry:1.8.3 - Material:9.5.37-insiders-4.53.13 - Last updated: October 31, 2024 at 12:10 AM UTC
+    Branch:tg-x/template-messages - Python:3.x - Poetry:1.8.3 - Material:9.5.37-insiders-4.53.13 - Last updated: October 31, 2024 at 04:22 PM UTC
   </div>
 
 

pr-193/Data/BinaryTree-src.html

@@ -19,4 +19,4 @@
 <span id="Data.BinaryTree:8"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:8" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:8" class="ju-code-link ju-function"><span class="ju-function">
 to-list</span></a></span></a></span></span> <span class="ju-keyword">:</span> <span class="ju-delimiter">{</span><span id="Data.BinaryTree:21"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span></a></span></span> <span class="ju-keyword">:</span> <span class="ju-keyword">Type</span><span class="ju-delimiter">}</span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:1" class="ju-code-link ju-inductive"><span class="ju-inductive">BinaryTree</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:1" class="ju-code-link ju-inductive"><span class="ju-inductive">List</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:21" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="ju-keyword">:=</span>
   <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:6" class="ju-code-link ju-function"><span class="ju-function">fold</span></a></span> <span class="ju-keyword">λ</span> <span class="ju-delimiter">{</span><span id="Data.BinaryTree:22"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:22" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:22" class="ju-code-link ju-var"><span class="ju-var">e</span></a></span></a></span></span> <span id="Data.BinaryTree:23"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:23" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:23" class="ju-code-link ju-var"><span class="ju-var">ls</span></a></span></a></span></span> <span id="Data.BinaryTree:24"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:24" class="ju-code-link ju-var"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:24" class="ju-code-link ju-var"><span class="ju-var">rs</span></a></span></a></span></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:22" class="ju-code-link ju-var"><span class="ju-var">e</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:3" class="ju-code-link ju-constructor"><span class="ju-constructor">::</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:23" class="ju-code-link ju-var"><span class="ju-var">ls</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Data/List/Base-src.html#Stdlib.Data.List.Base:17" class="ju-code-link ju-function"><span class="ju-function">++</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/BinaryTree-src.html#Data.BinaryTree:24" class="ju-code-link ju-var"><span class="ju-var">rs</span></a></span><span class="ju-delimiter">}</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/List-src.html#Juvix.Builtin.V1.List:2" class="ju-code-link ju-constructor"><span class="ju-constructor">nil</span></a></span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 0:09 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 16:21 UTC</pre></footer></html>

pr-193/Data/Map-src.html

@@ -67,4 +67,4 @@
 
 <span class="ju-keyword">instance</span>
 <span id="Data.Map:38"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:38" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:38" class="ju-code-link ju-function"><span class="ju-function">eqMapI</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:82" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:83" class="ju-code-link ju-var"><span class="ju-var">B</span></a></span><span class="ju-delimiter">}</span> <span class="ju-delimiter">{{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:82" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}}</span> <span class="ju-delimiter">{{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:83" class="ju-code-link ju-var"><span class="ju-var">B</span></a></span><span class="ju-delimiter">}}</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:10" class="ju-code-link ju-inductive"><span class="ju-inductive"><span class="ju-delimiter">(</span>Map</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:82" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:83" class="ju-code-link ju-var"><span class="ju-var">B</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:2" class="ju-code-link ju-constructor"><span class="ju-constructor">mkEq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Eq-src.html#Stdlib.Trait.Eq:5" class="ju-code-link ju-function"><span class="ju-function"><span class="ju-delimiter">(</span>Eq<span class="ju-delimiter">.</span>eq</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Function-src.html#Stdlib.Function:9" class="ju-code-link ju-function"><span class="ju-function">on</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Map-src.html#Data.Map:35" class="ju-code-link ju-function"><span class="ju-function">toList</span></a></span><span class="ju-delimiter">)</span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 0:09 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 16:21 UTC</pre></footer></html>

pr-193/Data/Set-src.html

@@ -13,4 +13,4 @@
 ordSetI</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set-src.html#Data.Set:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}</span> <span class="ju-delimiter">{{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Ord-src.html#Stdlib.Trait.Ord:10" class="ju-code-link ju-inductive"><span class="ju-inductive">Ord</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set-src.html#Data.Set:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}}</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Ord-src.html#Stdlib.Trait.Ord:10" class="ju-code-link ju-inductive"><span class="ju-inductive">Ord</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set-src.html#Data.Set:1" class="ju-code-link ju-var"><span class="ju-inductive"><span class="ju-delimiter">(</span>Set</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set-src.html#Data.Set:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:41" class="ju-code-link ju-function"><span class="ju-function">ordAVLTreeI</span></a></span><span class="ju-delimiter">;</span>
 
 <span class="ju-keyword">import</span> <span id="Stdlib.Data.List:0"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Data/List-src.html#Stdlib.Data.List:0" class="ju-code-link ju-module"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Data/List-src.html#Stdlib.Data.List:0" class="ju-code-link ju-module"><span class="ju-module"><span class="ju-module">Stdlib.Data.List</span></span></a></span></a></span></span> <span class="ju-keyword">open</span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 0:09 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 16:21 UTC</pre></footer></html>

pr-193/Data/Set/AVL-src.html

@@ -268,4 +268,4 @@
 <span class="ju-comment">{-# specialize: true, inline: true #-}</span>
 <span class="ju-keyword">instance</span>
 <span id="Data.Set.AVL:43"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:43" class="ju-code-link ju-function"><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:43" class="ju-code-link ju-function"><span class="ju-function">foldableVLTreeI</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:186" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Foldable/Monomorphic-src.html#Stdlib.Trait.Foldable.Monomorphic:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Foldable</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:1" class="ju-code-link ju-inductive"><span class="ju-inductive"><span class="ju-delimiter">(</span>AVLTree</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:186" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">)</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Set/AVL-src.html#Data.Set.AVL:186" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Stdlib/Trait/Foldable/Monomorphic-src.html#Stdlib.Trait.Foldable.Monomorphic:12" class="ju-code-link ju-function"><span class="ju-function">fromPolymorphicFoldable</span></a></span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 0:09 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 16:21 UTC</pre></footer></html>

pr-193/Data/Tmp-src.html

@@ -12,4 +12,4 @@
 isJust</span></a></span></a></span></span> <span class="ju-delimiter">{</span><span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Tmp-src.html#Data.Tmp:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span><span class="ju-delimiter">}</span> <span class="ju-keyword">:</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Maybe</span></a></span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Data/Tmp-src.html#Data.Tmp:5" class="ju-code-link ju-var"><span class="ju-var">A</span></a></span> <span class="ju-keyword">-&gt;</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:1" class="ju-code-link ju-inductive"><span class="ju-inductive">Bool</span></a></span>
   <span class="ju-keyword">|</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:2" class="ju-code-link ju-constructor"><span class="ju-constructor">nothing</span></a></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:3" class="ju-code-link ju-constructor"><span class="ju-constructor">false</span></a></span>
   <span class="ju-keyword">|</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/Maybe-src.html#Juvix.Builtin.V1.Maybe:3" class="ju-code-link ju-constructor"><span class="ju-constructor"><span class="ju-delimiter">(</span>just</span></a></span> <span class="ju-keyword">_</span><span class="ju-delimiter">)</span> <span class="ju-keyword">:=</span> <span class="annot"><a href="https://anoma.github.io/nspec/pr-193/Juvix/Builtin/V1/Bool-src.html#Juvix.Builtin.V1.Bool:2" class="ju-code-link ju-constructor"><span class="ju-constructor">true</span></a></span><span class="ju-delimiter">;</span>
-</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 0:09 UTC</pre></footer></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/e4559bb">0.6.6-e4559bb</a></pre></footer><footer><pre>Last modified on 2024-10-31 16:21 UTC</pre></footer></html>