[ docs ] CI docs generation

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/10966310649

docs/chem/docs/docs/Chem.Rings.html

@@ -61,4 +61,4 @@
 </script>
 
 </header>
-<div class="container"><div id="module-header"><h1>Chem.Rings</h1><span style="float:right">(<a href="Chem.Rings.src.html">source</a>)</span><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Chem.Rings.Ring"><code><span class="keyword">record</span>&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Nat"><span class="name type">Nat</span></span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Type</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><br>  <b>Constructor</b>:&ensp;<dl class="decls"><dt id="Chem.Rings.R"><code><a class="type" href="Chem.Rings.html#Chem.Rings.R"><span class="name constructor">R</span></a>&ensp;:&ensp;<span class="name type">Integer</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span></code></dt></dl><br>  <b>Projection</b>:&ensp;<dl class="decls"><dt id="Chem.Rings.Ring.(.value)"><code><span class="type resolved" title="Chem.Rings.Ring.(.value)"><span class="name function">.value</span></span>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Integer</span></code></dt></dl><br>  <b>Hints</b>:<br><dl class="decls">  <dt id="$resolved23292"><code><span class="type resolved" title="Prelude.EqOrd.Eq"><span class="name type">Eq</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt>  <dt id="$resolved23291"><code><span class="type resolved" title="Prelude.Interfaces.Monoid"><span class="name type">Monoid</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt>  <dt id="$resolved23290"><code><span class="type resolved" title="Prelude.Interfaces.Semigroup"><span class="name type">Semigroup</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt>  <dt id="$resolved23289"><code><span class="type resolved" title="Prelude.Show.Show"><span class="name type">Show</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt></dl></dd><dt id="Chem.Rings.Ring.(.value)"><code><span class="type resolved" title="Chem.Rings.Ring.(.value)"><span class="name function">.value</span></span>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Integer</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="Chem.Rings.Ring.value"><code><span class="type resolved" title="Chem.Rings.Ring.value"><span class="name function">value</span></span>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Integer</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="Chem.Rings.popCountInteger"><code><a class="type" href="Chem.Rings.html#Chem.Rings.popCountInteger"><span class="name function">popCountInteger</span></a>&ensp;:&ensp;<span class="name type">Integer</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Nat"><span class="name type">Nat</span></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="Chem.Rings.ringSize"><code><a class="type" href="Chem.Rings.html#Chem.Rings.ringSize"><span class="name function">ringSize</span></a>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Nat"><span class="name type">Nat</span></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="Chem.Rings.inRing"><code><a class="type" href="Chem.Rings.html#Chem.Rings.inRing"><span class="name function">inRing</span></a>&ensp;:&ensp;<span class="type resolved" title="Data.Fin.Fin"><span class="name type">Fin</span></span>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Basics.Bool"><span class="name type">Bool</span></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="Chem.Rings.members"><code><a class="type" href="Chem.Rings.html#Chem.Rings.members"><span class="name function">members</span></a>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</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="type resolved" title="Data.Fin.Fin"><span class="name type">Fin</span></span>&ensp;<span class="boundvar">k</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="Chem.Rings.rings"><code><a class="type" href="Chem.Rings.html#Chem.Rings.rings"><span class="name function">rings</span></a>&ensp;:&ensp;<span class="type resolved" title="Data.Graph.Indexed.Types.IGraph"><span class="name type">IGraph</span></span>&ensp;<span class="boundvar">k</span>&ensp;<span class="boundvar">e</span>&ensp;<span class="boundvar">n</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="type resolved" title="Prelude.Basics.Bool"><span class="name type">Bool</span></span>,&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</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-6d02c5210</footer></body></html>
+<div class="container"><div id="module-header"><h1>Chem.Rings</h1><span style="float:right">(<a href="Chem.Rings.src.html">source</a>)</span><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Chem.Rings.Ring"><code><span class="keyword">record</span>&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Types.Nat"><span class="name type">Nat</span></span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Type</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><br>  <b>Constructor</b>:&ensp;<dl class="decls"><dt id="Chem.Rings.R"><code><a class="type" href="Chem.Rings.html#Chem.Rings.R"><span class="name constructor">R</span></a>&ensp;:&ensp;<span class="name type">Integer</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span></code></dt></dl><br>  <b>Projection</b>:&ensp;<dl class="decls"><dt id="Chem.Rings.Ring.(.value)"><code><span class="type resolved" title="Chem.Rings.Ring.(.value)"><span class="name function">.value</span></span>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Integer</span></code></dt></dl><br>  <b>Hints</b>:<br><dl class="decls">  <dt id="$resolved23293"><code><span class="type resolved" title="Prelude.EqOrd.Eq"><span class="name type">Eq</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt>  <dt id="$resolved23292"><code><span class="type resolved" title="Prelude.Interfaces.Monoid"><span class="name type">Monoid</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt>  <dt id="$resolved23291"><code><span class="type resolved" title="Prelude.Interfaces.Semigroup"><span class="name type">Semigroup</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt>  <dt id="$resolved23290"><code><span class="type resolved" title="Prelude.Show.Show"><span class="name type">Show</span></span>&ensp;(<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>)</code></dt></dl></dd><dt id="Chem.Rings.Ring.(.value)"><code><span class="type resolved" title="Chem.Rings.Ring.(.value)"><span class="name function">.value</span></span>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Integer</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="Chem.Rings.Ring.value"><code><span class="type resolved" title="Chem.Rings.Ring.value"><span class="name function">value</span></span>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="name type">Integer</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="Chem.Rings.popCountInteger"><code><a class="type" href="Chem.Rings.html#Chem.Rings.popCountInteger"><span class="name function">popCountInteger</span></a>&ensp;:&ensp;<span class="name type">Integer</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Nat"><span class="name type">Nat</span></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="Chem.Rings.ringSize"><code><a class="type" href="Chem.Rings.html#Chem.Rings.ringSize"><span class="name function">ringSize</span></a>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Types.Nat"><span class="name type">Nat</span></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="Chem.Rings.inRing"><code><a class="type" href="Chem.Rings.html#Chem.Rings.inRing"><span class="name function">inRing</span></a>&ensp;:&ensp;<span class="type resolved" title="Data.Fin.Fin"><span class="name type">Fin</span></span>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Prelude.Basics.Bool"><span class="name type">Bool</span></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="Chem.Rings.members"><code><a class="type" href="Chem.Rings.html#Chem.Rings.members"><span class="name function">members</span></a>&ensp;:&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</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="type resolved" title="Data.Fin.Fin"><span class="name type">Fin</span></span>&ensp;<span class="boundvar">k</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="Chem.Rings.rings"><code><a class="type" href="Chem.Rings.html#Chem.Rings.rings"><span class="name function">rings</span></a>&ensp;:&ensp;<span class="type resolved" title="Data.Graph.Indexed.Types.IGraph"><span class="name type">IGraph</span></span>&ensp;<span class="boundvar">k</span>&ensp;<span class="boundvar">e</span>&ensp;<span class="boundvar">n</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="type resolved" title="Prelude.Basics.Bool"><span class="name type">Bool</span></span>,&ensp;<a class="type" href="Chem.Rings.html#Chem.Rings.Ring"><span class="name type">Ring</span></a>&ensp;<span class="boundvar">k</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-6d02c5210</footer></body></html>