[ docs ] CI docs generation

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/11282051434
stefan-hoeck · Oct 10, 2024 · 8d1552e · 8d1552e
1 parent 2168290
commit 8d1552e
Show file tree

Hide file tree

Showing 39 changed files with 431 additions and 426 deletions.
diff --git a/docs/cyby-draw/docs/docs/CyBy.Draw.Internal.CoreDims.html b/docs/cyby-draw/docs/docs/CyBy.Draw.Internal.CoreDims.html
diff --git a/docs/cyby-draw/docs/docs/CyBy.Draw.Internal.Label.html b/docs/cyby-draw/docs/docs/CyBy.Draw.Internal.Label.html
diff --git a/docs/cyby-draw/docs/docs/CyBy.Draw.MoleculeCanvas.html b/docs/cyby-draw/docs/docs/CyBy.Draw.MoleculeCanvas.html
diff --git a/docs/dom-mvc-extra/docs/docs/Text.HTML.Class.html b/docs/dom-mvc-extra/docs/docs/Text.HTML.Class.html
diff --git a/docs/dom-mvc-extra/docs/docs/Text.HTML.DomID.html b/docs/dom-mvc-extra/docs/docs/Text.HTML.DomID.html
diff --git a/docs/dom-mvc/docs/docs/Text.CSS.Angle.html b/docs/dom-mvc/docs/docs/Text.CSS.Angle.html
@@ -61,4 +61,4 @@
 </script>
 
 </header>
-<div class="container"><div id="module-header"><h1>Text.CSS.Angle</h1><span style="float:right">(<a href="Text.CSS.Angle.src.html">source</a>)</span><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Text.CSS.Angle.Angle"><code><span class="keyword">data</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;:&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>Constructors</b>:<br><dl class="decls">  <dt id="Text.CSS.Angle.Deg"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Deg"><span class="name constructor">Deg</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt>  <dt id="Text.CSS.Angle.Rad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Rad"><span class="name constructor">Rad</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt>  <dt id="Text.CSS.Angle.Grad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Grad"><span class="name constructor">Grad</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt>  <dt id="Text.CSS.Angle.Turn"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Turn"><span class="name constructor">Turn</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt></dl><br>  <b>Hints</b>:<br><dl class="decls">  <dt id="$resolved9116"><code><span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<a class="type" href="Text.CSS.Gradient.html#Text.CSS.Gradient.LinearDirection"><span class="name type">LinearDirection</span></a></code></dt>  <dt id="$resolved9152"><code><span class="type resolved" title="Prelude.Interpolation.Interpolation"><span class="name type">Interpolation</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt></dl></dd><dt id="Text.CSS.Angle.deg"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.deg"><span class="name function">deg</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd><dt id="Text.CSS.Angle.rad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.rad"><span class="name function">rad</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd><dt id="Text.CSS.Angle.grad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.grad"><span class="name function">grad</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd><dt id="Text.CSS.Angle.turn"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.turn"><span class="name function">turn</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd></dl></div><footer>Produced by Idris 2 version 0.7.0-f840d1b77</footer></body></html>
+<div class="container"><div id="module-header"><h1>Text.CSS.Angle</h1><span style="float:right">(<a href="Text.CSS.Angle.src.html">source</a>)</span><pre></pre></div><code></code><h2>Definitions</h2><dl class="decls"><dt id="Text.CSS.Angle.Angle"><code><span class="keyword">data</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;:&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>Constructors</b>:<br><dl class="decls">  <dt id="Text.CSS.Angle.Deg"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Deg"><span class="name constructor">Deg</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt>  <dt id="Text.CSS.Angle.Rad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Rad"><span class="name constructor">Rad</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt>  <dt id="Text.CSS.Angle.Grad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Grad"><span class="name constructor">Grad</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt>  <dt id="Text.CSS.Angle.Turn"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Turn"><span class="name constructor">Turn</span></a>&ensp;:&ensp;<span class="name type">Double</span>&ensp;<span class="keyword">-&gt;</span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt></dl><br>  <b>Hints</b>:<br><dl class="decls">  <dt id="$resolved9117"><code><span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<a class="type" href="Text.CSS.Gradient.html#Text.CSS.Gradient.LinearDirection"><span class="name type">LinearDirection</span></a></code></dt>  <dt id="$resolved9153"><code><span class="type resolved" title="Prelude.Interpolation.Interpolation"><span class="name type">Interpolation</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a></code></dt></dl></dd><dt id="Text.CSS.Angle.deg"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.deg"><span class="name function">deg</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd><dt id="Text.CSS.Angle.rad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.rad"><span class="name function">rad</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd><dt id="Text.CSS.Angle.grad"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.grad"><span class="name function">grad</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd><dt id="Text.CSS.Angle.turn"><code><a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.turn"><span class="name function">turn</span></a>&ensp;:&ensp;<span class="type resolved" title="Prelude.Cast.Cast"><span class="name type">Cast</span></span>&ensp;<a class="type" href="Text.CSS.Angle.html#Text.CSS.Angle.Angle"><span class="name type">Angle</span></a>&ensp;<span class="boundvar">a</span>&ensp;<span class="keyword">=&gt;</span>&ensp;<span class="name type">Double</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">export</span></dd></dl></div><footer>Produced by Idris 2 version 0.7.0-f840d1b77</footer></body></html>
diff --git a/docs/dom-mvc/docs/docs/Text.CSS.Color.html b/docs/dom-mvc/docs/docs/Text.CSS.Color.html