Skip to content

Commit

Permalink
[ docs ] CI docs generation
Browse files Browse the repository at this point in the history 
https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/10874320836
  • Loading branch information
@github-actions
github-actions[bot] committed Sep 15, 2024
1 parent 5a1565a commit 7d47ae1
Show file tree
Hide file tree
Showing 2,207 changed files with 3,048 additions and 2,313 deletions.
2 changes: 1 addition & 1 deletion docs/algdata/docs/docs/Data.Alg.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -61,4 +61,4 @@
</script>

</header>
<div class="container"><div id="module-header"><h1>Data.Alg</h1><span style="float:right">(<a href="Data.Alg.src.html">source</a>)</span><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Data.Alg.distributePlus"><code><a class="type" href="Data.Alg.html#Data.Alg.distributePlus"><span class="name function">distributePlus</span></a>&ensp;:&ensp;<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;(<span class="boundvar">b</span>&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;<span class="boundvar">c</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">b</span>)&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;(<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">c</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.Alg.distributive"><code><a class="type" href="Data.Alg.html#Data.Alg.distributive"><span class="name function">distributive</span></a>&ensp;:&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">p&apos;</span>)&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;(<span class="boundvar">s</span>&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;<span class="boundvar">s&apos;</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">s</span>)&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;(<span class="boundvar">p&apos;</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">s&apos;</span>)</code></dt><dd><pre> distributive property of products over coproducts</pre><br> <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.Alg.distributive&apos;"><code><a class="type" href="Data.Alg.html#Data.Alg.distributive&apos;"><span class="name function">distributive&apos;</span></a>&ensp;:&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;<span class="boundvar">q</span>)&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;(<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">b</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">a</span>)&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;(<span class="boundvar">q</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">b</span>)</code></dt><dd><pre> distributive property of products over coproducts</pre><br> <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-09cb83dd9</footer></body></html>
<div class="container"><div id="module-header"><h1>Data.Alg</h1><span style="float:right">(<a href="Data.Alg.src.html">source</a>)</span><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Data.Alg.distributePlus"><code><a class="type" href="Data.Alg.html#Data.Alg.distributePlus"><span class="name function">distributePlus</span></a>&ensp;:&ensp;<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;(<span class="boundvar">b</span>&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;<span class="boundvar">c</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">b</span>)&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;(<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">c</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.Alg.distributive"><code><a class="type" href="Data.Alg.html#Data.Alg.distributive"><span class="name function">distributive</span></a>&ensp;:&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">p&apos;</span>)&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;(<span class="boundvar">s</span>&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;<span class="boundvar">s&apos;</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">s</span>)&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;(<span class="boundvar">p&apos;</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">s&apos;</span>)</code></dt><dd><pre> distributive property of products over coproducts</pre><br> <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.Alg.distributive&apos;"><code><a class="type" href="Data.Alg.html#Data.Alg.distributive&apos;"><span class="name function">distributive&apos;</span></a>&ensp;:&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;<span class="boundvar">q</span>)&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;(<span class="boundvar">a</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">b</span>)&ensp;<span class="keyword">-&gt;</span>&ensp;(<span class="boundvar">p</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">a</span>)&ensp;<a class="type" href="Data.Coproduct.html#Data.Coproduct.(+)"><span class="name type">+</span></a>&ensp;(<span class="boundvar">q</span>&ensp;<a class="type" href="Data.Product.html#Data.Product.(*)"><span class="name type">*</span></a>&ensp;<span class="boundvar">b</span>)</code></dt><dd><pre> distributive property of products over coproducts</pre><br> <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-6d02c5210</footer></body></html>
Loading

0 comments on commit 7d47ae1

Please sign in to comment.