Deploying to gh-pages from @ 0bb1d1c 🚀

Author: gallais

docs/Data.Either.Extra.html

@@ -61,4 +61,4 @@
 </script>
 
 </header>
-<div class="container"><div id="module-header"><h1>Data.Either.Extra</h1><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Data.Either.Extra.fromLeft"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.fromLeft"><span class="name function">fromLeft</span></a>&ensp;:&ensp;(<span class="boundvar">b</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">b</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">a</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">public&ensp;export</span></dd><dt id="Data.Either.Extra.fromRight"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.fromRight"><span class="name function">fromRight</span></a>&ensp;:&ensp;(<span class="boundvar">a</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">b</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">b</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">b</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">public&ensp;export</span></dd><dt id="Data.Either.Extra.mapFstExtensional"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapFstExtensional"><span class="name function">mapFstExtensional</span></a>&ensp;:&ensp;((<span class="boundvar">x</span>&ensp;:&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">x</span>&ensp;<span class="keyword">=</span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">x</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">c</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd><dt id="Data.Either.Extra.mapSndExtensional"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapSndExtensional"><span class="name function">mapSndExtensional</span></a>&ensp;:&ensp;((<span class="boundvar">x</span>&ensp;:&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">x</span>&ensp;<span class="keyword">=</span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">x</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">w</span>&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd><dt id="Data.Either.Extra.mapFstFusion"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapFstFusion"><span class="name function">mapFstFusion</span></a>&ensp;:&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">e</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">g</span>&ensp;(<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>)&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;(<span class="boundvar">g</span>&ensp;<span class="type resolved" title="Prelude.Basics.(.)"><span class="name function">.</span></span>&ensp;<span class="boundvar">f</span>)&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd><dt id="Data.Either.Extra.mapSndFusion"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapSndFusion"><span class="name function">mapSndFusion</span></a>&ensp;:&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">w</span>&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">g</span>&ensp;(<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>)&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;(<span class="boundvar">g</span>&ensp;<span class="type resolved" title="Prelude.Basics.(.)"><span class="name function">.</span></span>&ensp;<span class="boundvar">f</span>)&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd></dl></div><footer>Produced by Idris 2 version 0.7.0-2a05023e3</footer></body></html>
+<div class="container"><div id="module-header"><h1>Data.Either.Extra</h1><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Data.Either.Extra.fromLeft"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.fromLeft"><span class="name function">fromLeft</span></a>&ensp;:&ensp;(<span class="boundvar">b</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">b</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">a</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">public&ensp;export</span></dd><dt id="Data.Either.Extra.fromRight"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.fromRight"><span class="name function">fromRight</span></a>&ensp;:&ensp;(<span class="boundvar">a</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">b</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">b</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">b</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">public&ensp;export</span></dd><dt id="Data.Either.Extra.mapFstExtensional"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapFstExtensional"><span class="name function">mapFstExtensional</span></a>&ensp;:&ensp;((<span class="boundvar">x</span>&ensp;:&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">x</span>&ensp;<span class="keyword">=</span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">x</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">c</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd><dt id="Data.Either.Extra.mapSndExtensional"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapSndExtensional"><span class="name function">mapSndExtensional</span></a>&ensp;:&ensp;((<span class="boundvar">x</span>&ensp;:&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">x</span>&ensp;<span class="keyword">=</span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">x</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">w</span>&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">g</span>&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd><dt id="Data.Either.Extra.mapFstFusion"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapFstFusion"><span class="name function">mapFstFusion</span></a>&ensp;:&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">a</span>&ensp;<span class="boundvar">e</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">g</span>&ensp;(<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>)&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapFst"><span class="name function">mapFst</span></span>&ensp;(<span class="boundvar">g</span>&ensp;<span class="type resolved" title="Prelude.Basics.(.)"><span class="name function">.</span></span>&ensp;<span class="boundvar">f</span>)&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd><dt id="Data.Either.Extra.mapSndFusion"><code><a class="type" href="Data.Either.Extra.html#Data.Either.Extra.mapSndFusion"><span class="name function">mapSndFusion</span></a>&ensp;:&ensp;(<span class="boundvar">v</span>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Either"><span class="name type">Either</span></span>&ensp;<span class="boundvar">w</span>&ensp;<span class="boundvar">a</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">g</span>&ensp;(<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;<span class="boundvar">f</span>&ensp;<span class="boundvar">v</span>)&ensp;<span class="keyword">=</span>&ensp;<span class="type resolved" title="Prelude.Interfaces.mapSnd"><span class="name function">mapSnd</span></span>&ensp;(<span class="boundvar">g</span>&ensp;<span class="type resolved" title="Prelude.Basics.(.)"><span class="name function">.</span></span>&ensp;<span class="boundvar">f</span>)&ensp;<span class="boundvar">v</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">export</span></dd></dl></div><footer>Produced by Idris 2 version 0.7.0-7ce4c45e8</footer></body></html>

docs/Data.Finite.html

@@ -61,4 +61,4 @@
 </script>
 
 </header>
-<div class="container"><div id="module-header"><h1>Data.Finite</h1><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Data.Finite.Finite"><code><span class="keyword">interface</span>&ensp;<a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;:&ensp;<span class="name type">Type</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Type</span></code></dt><dd>  <b>Parameters</b>:&ensp;a<br><b>Methods</b>:<br><dl class="decls">  <dt id="Data.Finite.enumerate"><code><a class="type" href="Data.Finite.html#Data.Finite.enumerate"><span class="name function">enumerate</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Basics.List"><span class="name type">List</span></span>&ensp;<span class="boundvar">a</span></code></dt></dl><br><b>Implementations</b>:<br><dl class="decls">  <dt id="$resolved17969"><code><a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;<a class="type" href="Frexlet.Monoid.Commutative.Theory.html#Frexlet.Monoid.Commutative.Theory.Axiom"><span class="name type">Axiom</span></a></code></dt>  <dt id="$resolved15588"><code><a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;(<a class="type" href="Frex.Signature.html#Frex.Signature.Op"><span class="name type">Op</span></a>&ensp;<a class="type" href="Frexlet.Monoid.Theory.html#Frexlet.Monoid.Theory.Signature"><span class="name function">Signature</span></a>)</code></dt>  <dt id="$resolved15587"><code><a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;<a class="type" href="Frexlet.Monoid.Theory.html#Frexlet.Monoid.Theory.Axiom"><span class="name type">Axiom</span></a></code></dt></dl></dd><dt id="Data.Finite.enumerate"><code><a class="type" href="Data.Finite.html#Data.Finite.enumerate"><span class="name function">enumerate</span></a>&ensp;:&ensp;<a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="type resolved" title="Prelude.Basics.List"><span class="name type">List</span></span>&ensp;<span class="boundvar">a</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">public&ensp;export</span></dd></dl></div><footer>Produced by Idris 2 version 0.7.0-2a05023e3</footer></body></html>
+<div class="container"><div id="module-header"><h1>Data.Finite</h1><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Data.Finite.Finite"><code><span class="keyword">interface</span>&ensp;<a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;:&ensp;<span class="name type">Type</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Type</span></code></dt><dd>  <b>Parameters</b>:&ensp;a<br><b>Methods</b>:<br><dl class="decls">  <dt id="Data.Finite.enumerate"><code><a class="type" href="Data.Finite.html#Data.Finite.enumerate"><span class="name function">enumerate</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Basics.List"><span class="name type">List</span></span>&ensp;<span class="boundvar">a</span></code></dt></dl><br><b>Implementations</b>:<br><dl class="decls">  <dt id="$resolved17996"><code><a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;<a class="type" href="Frexlet.Monoid.Commutative.Theory.html#Frexlet.Monoid.Commutative.Theory.Axiom"><span class="name type">Axiom</span></a></code></dt>  <dt id="$resolved15615"><code><a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;(<a class="type" href="Frex.Signature.html#Frex.Signature.Op"><span class="name type">Op</span></a>&ensp;<a class="type" href="Frexlet.Monoid.Theory.html#Frexlet.Monoid.Theory.Signature"><span class="name function">Signature</span></a>)</code></dt>  <dt id="$resolved15614"><code><a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;<a class="type" href="Frexlet.Monoid.Theory.html#Frexlet.Monoid.Theory.Axiom"><span class="name type">Axiom</span></a></code></dt></dl></dd><dt id="Data.Finite.enumerate"><code><a class="type" href="Data.Finite.html#Data.Finite.enumerate"><span class="name function">enumerate</span></a>&ensp;:&ensp;<a class="type" href="Data.Finite.html#Data.Finite.Finite"><span class="name type">Finite</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="type resolved" title="Prelude.Basics.List"><span class="name type">List</span></span>&ensp;<span class="boundvar">a</span></code></dt><dd>  <b>Totality</b>:&ensp;<span class="keyword">total</span><br>  <b>Visibility</b>:&ensp;<span class="keyword">public&ensp;export</span></dd></dl></div><footer>Produced by Idris 2 version 0.7.0-7ce4c45e8</footer></body></html>