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/13608835286
  • Loading branch information
@github-actions
github-actions[bot] committed Mar 1, 2025
1 parent f9367fb commit b2c147b
Show file tree
Hide file tree
Showing 2,431 changed files with 4,359 additions and 3,326 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-6918997cf</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-ef493a7c7</footer></body></html>
Loading

0 comments on commit b2c147b

Please sign in to comment.