deploy: f68b061

Stdlib.Data.Bool-src.html

@@ -32,4 +32,4 @@
       <span class="ju-keyword">|</span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#33"><span class="ju-constructor">true</span></a></span> <span class="ju-keyword">:=</span> <span class="ju-string">&quot;true&quot;</span>
       <span class="ju-keyword">|</span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#34"><span class="ju-constructor">false</span></a></span> <span class="ju-keyword">:=</span> <span class="ju-string">&quot;false&quot;</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/8bbf089">0.5.4-8bbf089</a></pre></footer><span>Last modified on 2023-11-20 3:25 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/78bacaa">0.5.4-78bacaa</a></pre></footer><span>Last modified on 2023-11-27 3:15 UTC</span></html>

Stdlib.Data.Bool.Base-src.html

@@ -41,4 +41,4 @@
 
 <span class="ju-judoc">---</span> <span class="ju-judoc">Logical conjunction.</span>
 <span id="41"><span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#41"><span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#41"><span class="ju-function">and</span></a></span></a></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#49"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#50"><span class="ju-var">b</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#32"><span class="ju-inductive">Bool</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">:=</span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#49"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#38"><span class="ju-function">&amp;&amp;</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base-src.html#50"><span class="ju-var">b</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/8bbf089">0.5.4-8bbf089</a></pre></footer><span>Last modified on 2023-11-20 3:25 UTC</span></html>
+</pre><footer><pre>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/78bacaa">0.5.4-78bacaa</a></pre></footer><span>Last modified on 2023-11-27 3:15 UTC</span></html>

Stdlib.Data.Bool.Base.html

@@ -3,4 +3,4 @@
 <span class="ju-keyword">type</span> <span class="ju-define"><span id="32"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span></a></span></span></span><a href="Stdlib.Data.Bool.Base-src.html#32" class="link">Source</a><a href="#32" class="selflink">#</a></p><div class="doc"><p>Inductive definition of booleans.</p></div></div><div class="subs constructors"><p class="caption">Constructors</p><table><tbody><tr><td class="src"><span class="ju-keyword">|</span> <span class="ju-define"><span id="33"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#33"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#33"><span class="ju-constructor">true</span></a></span></a></span></span></span></td><td class="doc"></td></tr><tr><td class="src"><span class="ju-keyword">|</span> <span class="ju-define"><span id="34"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#34"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#34"><span class="ju-constructor">false</span></a></span></a></span></span></span></td><td class="doc"></td></tr></tbody></table></div><div class="top"><p class="src"><span class="ju-define"><span id="36"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#36"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#36"><span class="ju-function">not</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#36" class="link">Source</a><a href="#36" class="selflink">#</a></p><div class="doc"><p>Logical negation.</p></div></div><div class="top"><p class="src"><span class="ju-keyword">builtin</span> <span class="ju-keyword">bool-or</span>
 <span class="ju-define"><span id="37"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#37"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#37"><span class="ju-function">||</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#37" class="link">Source</a><a href="#37" class="selflink">#</a></p><div class="doc"><p>Logical disjunction. Evaluated lazily. Cannot be partially applied</p></div></div><div class="top"><p class="src"><span class="ju-keyword">builtin</span> <span class="ju-keyword">bool-and</span>
 <span class="ju-define"><span id="38"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#38"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#38"><span class="ju-function">&amp;&amp;</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#38" class="link">Source</a><a href="#38" class="selflink">#</a></p><div class="doc"><p>Logical conjunction. Evaluated lazily. Cannot be partially applied.</p></div></div><div class="top"><p class="src"><span class="ju-keyword">builtin</span> <span class="ju-keyword">bool-if</span>
-<span class="ju-define"><span id="39"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#39"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#39"><span class="ju-function">if</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="ju-delimiter">{</span><span class="ju-define"><span id="44"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="ju-keyword">Type</span><span class="ju-delimiter">}</span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#39" class="link">Source</a><a href="#39" class="selflink">#</a></p><div class="doc"><p>Returns the first argument if <span class="annot"><a href="Stdlib.Data.Bool.Base.html#33"><span class="ju-constructor">true</span></a></span>, otherwise it returns the second argument. Evaluated lazily. Cannot be partially applied.</p></div></div><div class="top"><p class="src"><span class="ju-define"><span id="40"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#40"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#40"><span class="ju-function">or</span></a></span></a></span></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="Stdlib.Data.Bool.Base.html#47"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#48"><span class="ju-var">b</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#40" class="link">Source</a><a href="#40" class="selflink">#</a></p><div class="doc"><p>Logical disjunction.</p></div></div><div class="top"><p class="src"><span class="ju-define"><span id="41"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#41"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#41"><span class="ju-function">and</span></a></span></a></span></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="Stdlib.Data.Bool.Base.html#49"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#50"><span class="ju-var">b</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#41" class="link">Source</a><a href="#41" class="selflink">#</a></p><div class="doc"><p>Logical conjunction.</p></div></div></div></div><div id="footer"><p>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/8bbf089">0.5.4-8bbf089</a></p><a href="https://juvix.org"><img id="tara" src="assets/images/tara-smiling.svg" alt="Tara"></a></div></body></html>
+<span class="ju-define"><span id="39"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#39"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#39"><span class="ju-function">if</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="ju-delimiter">{</span><span class="ju-define"><span id="44"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="ju-keyword">Type</span><span class="ju-delimiter">}</span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span> <span class="ju-keyword">→</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#44"><span class="ju-var">A</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#39" class="link">Source</a><a href="#39" class="selflink">#</a></p><div class="doc"><p>Returns the first argument if <span class="annot"><a href="Stdlib.Data.Bool.Base.html#33"><span class="ju-constructor">true</span></a></span>, otherwise it returns the second argument. Evaluated lazily. Cannot be partially applied.</p></div></div><div class="top"><p class="src"><span class="ju-define"><span id="40"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#40"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#40"><span class="ju-function">or</span></a></span></a></span></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="Stdlib.Data.Bool.Base.html#47"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#48"><span class="ju-var">b</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#40" class="link">Source</a><a href="#40" class="selflink">#</a></p><div class="doc"><p>Logical disjunction.</p></div></div><div class="top"><p class="src"><span class="ju-define"><span id="41"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#41"><span class="annot"><a href="Stdlib.Data.Bool.Base.html#41"><span class="ju-function">and</span></a></span></a></span></span></span> <span class="ju-delimiter">(</span><span class="annot"><a href="Stdlib.Data.Bool.Base.html#49"><span class="ju-var">a</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#50"><span class="ju-var">b</span></a></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><span class="ju-delimiter">)</span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool.Base-src.html#41" class="link">Source</a><a href="#41" class="selflink">#</a></p><div class="doc"><p>Logical conjunction.</p></div></div></div></div><div id="footer"><p>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/78bacaa">0.5.4-78bacaa</a></p><a href="https://juvix.org"><img id="tara" src="assets/images/tara-smiling.svg" alt="Tara"></a></div></body></html>

Stdlib.Data.Bool.html

@@ -2,4 +2,4 @@
 <html><head><title>Juvix Documentation</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta name="viewport" content="width=device-width, initial-scale=1"><script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script><script type="text/javascript" id="MathJax-script" src="assets/js/tex-chtml.js"></script><script type="text/javascript" src="https://livejs.com/live.js"></script><link href="assets/css/source-ayu-light.css" rel="stylesheet" type="text/css"><link href="assets/css/linuwial.css" rel="stylesheet" type="text/css"><script src="assets/js/toggle.js" type="text/javascript"></script></head><body class="js-enabled"><div id="package-header"><span class="caption">stdlib - 0.0.1</span><ul id="page-menu" class="links"><li><a href="Stdlib.Data.Bool-src.html">Source</a></li><li><a href="index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><p class="caption">Stdlib.Data.Bool</p></div><div id="table-of-contents"><div id="contents-list"><p class="caption" onclick="window.scrollTo(0,0)">Contents</p><ul><li><a href="#sec:description">Description</a></li><li><a href="#sec:interface">Definitions</a></li></ul></div></div><div id="description"><div class="doc"><a id="sec:description" href="sec:description"><h1>Description</h1></a></div></div><div id="interface"><a id="sec:interface" href="sec:interface"><h1>Definitions</h1></a><p class="src"><span class="ju-keyword">import</span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#31"><span class="ju-var">Stdlib<span class="ju-delimiter">.</span>Data<span class="ju-delimiter">.</span>Bool<span class="ju-delimiter">.</span>Base</span></a></span> <span class="ju-keyword">open</span> <span class="ju-keyword">public</span></p><div class="top"><p class="src"><span class="ju-keyword">instance</span>
 <span class="ju-define"><span id="447"><span class="annot"><a href="Stdlib.Data.Bool.html#447"><span class="annot"><a href="Stdlib.Data.Bool.html#447"><span class="ju-function">boolEqI</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Trait.Eq.html#52"><span class="ju-inductive">Eq</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool-src.html#447" class="link">Source</a><a href="#447" class="selflink">#</a></p><div class="doc"></div></div><div class="top"><p class="src"><span class="ju-keyword">instance</span>
 <span class="ju-define"><span id="448"><span class="annot"><a href="Stdlib.Data.Bool.html#448"><span class="annot"><a href="Stdlib.Data.Bool.html#448"><span class="ju-function">boolOrdI</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Trait.Ord.html#74"><span class="ju-inductive">Ord</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool-src.html#448" class="link">Source</a><a href="#448" class="selflink">#</a></p><div class="doc"></div></div><div class="top"><p class="src"><span class="ju-keyword">instance</span>
-<span class="ju-define"><span id="449"><span class="annot"><a href="Stdlib.Data.Bool.html#449"><span class="annot"><a href="Stdlib.Data.Bool.html#449"><span class="ju-function">showBoolI</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Trait.Show.html#441"><span class="ju-inductive">Show</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool-src.html#449" class="link">Source</a><a href="#449" class="selflink">#</a></p><div class="doc"></div></div></div></div><div id="footer"><p>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/8bbf089">0.5.4-8bbf089</a></p><a href="https://juvix.org"><img id="tara" src="assets/images/tara-smiling.svg" alt="Tara"></a></div></body></html>
+<span class="ju-define"><span id="449"><span class="annot"><a href="Stdlib.Data.Bool.html#449"><span class="annot"><a href="Stdlib.Data.Bool.html#449"><span class="ju-function">showBoolI</span></a></span></a></span></span></span> <span class="ju-keyword">:</span> <span class="annot"><a href="Stdlib.Trait.Show.html#441"><span class="ju-inductive">Show</span></a></span> <span class="annot"><a href="Stdlib.Data.Bool.Base.html#32"><span class="ju-inductive">Bool</span></a></span><a href="Stdlib.Data.Bool-src.html#449" class="link">Source</a><a href="#449" class="selflink">#</a></p><div class="doc"></div></div></div></div><div id="footer"><p>Powered by <a href="https://juvix.org">Juvix </a><a href="https://github.com/anoma/juvix/commit/78bacaa">0.5.4-78bacaa</a></p><a href="https://juvix.org"><img id="tara" src="assets/images/tara-smiling.svg" alt="Tara"></a></div></body></html>