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/13685597290
  • Loading branch information
@github-actions
github-actions[bot] committed Mar 5, 2025
1 parent d2056aa commit 448cf19
Show file tree
Hide file tree
Showing 19 changed files with 1,005 additions and 660 deletions.
2 changes: 1 addition & 1 deletion docs/async-posix/docs/docs/IO.Async.Loop.Posix.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion docs/async-posix/docs/docs/IO.Async.Loop.SignalH.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>IO.Async.Loop.SignalH</h1><span style="float:right">(<a href="IO.Async.Loop.SignalH.src.html">source</a>)</span><pre></pre></div><h2>Reexports</h2><code><span class="keyword">import</span>&ensp;<span class="keyword">public</span>&ensp;IO.Async.Loop<br><span class="keyword">import</span>&ensp;<span class="keyword">public</span>&ensp;System.Posix.Errno<br><span class="keyword">import</span>&ensp;<span class="keyword">public</span>&ensp;System.Posix.Signal</code><h2>Definitions</h2><dl class="decls"><dt id="IO.Async.Loop.SignalH.SignalH"><code><span class="keyword">interface</span>&ensp;<a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.SignalH"><span class="name type">SignalH</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="IO.Async.Loop.SignalH.primOnSignals"><code><a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.primOnSignals"><span class="name function">primOnSignals</span></a>&ensp;:&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="type resolved" title="System.Posix.Signal.Types.Signal"><span class="name type">Signal</span></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="type resolved" title="System.Posix.Errno.Type.Errno"><span class="name type">Errno</span></span>&ensp;<span class="type resolved" title="System.Posix.Signal.Struct.Siginfo"><span class="name type">Siginfo</span></span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;(<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())</code></dt></dl><br><b>Implementation</b>:&ensp;<dl class="decls"><dt id="$resolved14495"><code><a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.SignalH"><span class="name type">SignalH</span></a>&ensp;<a class="type" href="IO.Async.Loop.Posix.html#IO.Async.Loop.Posix.Poll"><span class="name type">Poll</span></a></code></dt></dl></dd><dt id="IO.Async.Loop.SignalH.primOnSignals"><code><a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.primOnSignals"><span class="name function">primOnSignals</span></a>&ensp;:&ensp;<a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.SignalH"><span class="name type">SignalH</span></a>&ensp;<span class="boundvar">a</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.Basics.List"><span class="name type">List</span></span>&ensp;<span class="type resolved" title="System.Posix.Signal.Types.Signal"><span class="name type">Signal</span></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="type resolved" title="System.Posix.Errno.Type.Errno"><span class="name type">Errno</span></span>&ensp;<span class="type resolved" title="System.Posix.Signal.Struct.Siginfo"><span class="name type">Siginfo</span></span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;(<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())</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-1678b4676</footer></body></html>
<div class="container"><div id="module-header"><h1>IO.Async.Loop.SignalH</h1><span style="float:right">(<a href="IO.Async.Loop.SignalH.src.html">source</a>)</span><pre></pre></div><h2>Reexports</h2><code><span class="keyword">import</span>&ensp;<span class="keyword">public</span>&ensp;IO.Async.Loop<br><span class="keyword">import</span>&ensp;<span class="keyword">public</span>&ensp;System.Posix.Errno<br><span class="keyword">import</span>&ensp;<span class="keyword">public</span>&ensp;System.Posix.Signal</code><h2>Definitions</h2><dl class="decls"><dt id="IO.Async.Loop.SignalH.SignalH"><code><span class="keyword">interface</span>&ensp;<a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.SignalH"><span class="name type">SignalH</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="IO.Async.Loop.SignalH.primOnSignals"><code><a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.primOnSignals"><span class="name function">primOnSignals</span></a>&ensp;:&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="type resolved" title="System.Posix.Signal.Types.Signal"><span class="name type">Signal</span></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="type resolved" title="System.Posix.Errno.Type.Errno"><span class="name type">Errno</span></span>&ensp;<span class="type resolved" title="System.Posix.Signal.Struct.Siginfo"><span class="name type">Siginfo</span></span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;(<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())</code></dt></dl><br><b>Implementation</b>:&ensp;<dl class="decls"><dt id="$resolved14498"><code><a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.SignalH"><span class="name type">SignalH</span></a>&ensp;<a class="type" href="IO.Async.Loop.Posix.html#IO.Async.Loop.Posix.Poll"><span class="name type">Poll</span></a></code></dt></dl></dd><dt id="IO.Async.Loop.SignalH.primOnSignals"><code><a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.primOnSignals"><span class="name function">primOnSignals</span></a>&ensp;:&ensp;<a class="type" href="IO.Async.Loop.SignalH.html#IO.Async.Loop.SignalH.SignalH"><span class="name type">SignalH</span></a>&ensp;<span class="boundvar">a</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.Basics.List"><span class="name type">List</span></span>&ensp;<span class="type resolved" title="System.Posix.Signal.Types.Signal"><span class="name type">Signal</span></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="type resolved" title="System.Posix.Errno.Type.Errno"><span class="name type">Errno</span></span>&ensp;<span class="type resolved" title="System.Posix.Signal.Struct.Siginfo"><span class="name type">Siginfo</span></span>&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())&ensp;<span class="keyword">-&gt;</span>&ensp;<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;(<span class="type resolved" title="Data.Linear.Token.IO1"><span class="name function">IO1</span></span>&ensp;())</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-1678b4676</footer></body></html>
Loading

0 comments on commit 448cf19

Please sign in to comment.