generated from WebAssembly/wasi-proposal-template
-
Notifications
You must be signed in to change notification settings - Fork 11
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #37 from WebAssembly/pch/rc-12-05
update release candidate to 0.2.0-rc-2023-12-05
- Loading branch information
Showing
4 changed files
with
44 additions
and
44 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -2,19 +2,19 @@ | |
<ul> | ||
<li>Imports: | ||
<ul> | ||
<li>interface <a href="#wasi:cli_environment_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_exit_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_environment_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_exit_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:io_error_0.2.0_rc_2023_11_10"><code>wasi:io/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:io_poll_0.2.0_rc_2023_11_10"><code>wasi:io/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:io_streams_0.2.0_rc_2023_11_10"><code>wasi:io/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdin_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdout_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_stderr_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_input_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_output_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdin_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdout_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stderr_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdin_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdout_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_stderr_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_input_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_output_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdin_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdout_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stderr_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:clocks_monotonic_clock_0.2.0_rc_2023_11_10"><code>wasi:clocks/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:clocks_wall_clock_0.2.0_rc_2023_11_10"><code>wasi:clocks/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:filesystem_types_0.2.0_rc_2023_11_10"><code>wasi:filesystem/[email protected]</code></a></li> | ||
|
@@ -33,11 +33,11 @@ | |
</li> | ||
<li>Exports: | ||
<ul> | ||
<li>interface <a href="#wasi:cli_run_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_run_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
</ul> | ||
</li> | ||
</ul> | ||
<h2><a name="wasi:cli_environment_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_environment_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Functions</h3> | ||
<h4><a name="get_environment"><code>get-environment: func</code></a></h4> | ||
|
@@ -64,7 +64,7 @@ directory, interpreting <code>.</code> as shorthand for this.</p> | |
<ul> | ||
<li><a name="initial_cwd.0"></a> option<<code>string</code>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_exit_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_exit_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Functions</h3> | ||
<h4><a name="exit"><code>exit: func</code></a></h4> | ||
|
@@ -474,7 +474,7 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="method_output_stream.blocking_splice.0"></a> result<<code>u64</code>, <a href="#stream_error"><a href="#stream_error"><code>stream-error</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_stdin_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_stdin_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="input_stream"><code>type input-stream</code></a></h4> | ||
|
@@ -487,7 +487,7 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="get_stdin.0"></a> own<<a href="#input_stream"><a href="#input_stream"><code>input-stream</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_stdout_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_stdout_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="output_stream"><code>type output-stream</code></a></h4> | ||
|
@@ -500,7 +500,7 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="get_stdout.0"></a> own<<a href="#output_stream"><a href="#output_stream"><code>output-stream</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_stderr_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_stderr_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="output_stream"><code>type output-stream</code></a></h4> | ||
|
@@ -513,17 +513,17 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="get_stderr.0"></a> own<<a href="#output_stream"><a href="#output_stream"><code>output-stream</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_terminal_input_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_input_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="terminal_input"><code>resource terminal-input</code></a></h4> | ||
<p>The input side of a terminal.</p> | ||
<h2><a name="wasi:cli_terminal_output_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_output_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="terminal_output"><code>resource terminal-output</code></a></h4> | ||
<p>The output side of a terminal.</p> | ||
<h2><a name="wasi:cli_terminal_stdin_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_stdin_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<p>An interface providing an optional <a href="#terminal_input"><code>terminal-input</code></a> for stdin as a | ||
link-time authority.</p> | ||
<hr /> | ||
|
@@ -540,7 +540,7 @@ allowing further interaction with it.</p> | |
<ul> | ||
<li><a name="get_terminal_stdin.0"></a> option<own<<a href="#terminal_input"><a href="#terminal_input"><code>terminal-input</code></a></a>>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_terminal_stdout_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_stdout_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<p>An interface providing an optional <a href="#terminal_output"><code>terminal-output</code></a> for stdout as a | ||
link-time authority.</p> | ||
<hr /> | ||
|
@@ -557,7 +557,7 @@ allowing further interaction with it.</p> | |
<ul> | ||
<li><a name="get_terminal_stdout.0"></a> option<own<<a href="#terminal_output"><a href="#terminal_output"><code>terminal-output</code></a></a>>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_terminal_stderr_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_stderr_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<p>An interface providing an optional <a href="#terminal_output"><code>terminal-output</code></a> for stderr as a | ||
link-time authority.</p> | ||
<hr /> | ||
|
@@ -3045,7 +3045,7 @@ protection.</p> | |
<ul> | ||
<li><a name="insecure_seed.0"></a> (<code>u64</code>, <code>u64</code>)</li> | ||
</ul> | ||
<h2><a name="wasi:cli_run_0.2.0_rc_2023_11_10">Export interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_run_0.2.0_rc_2023_12_05">Export interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Functions</h3> | ||
<h4><a name="run"><code>run: func</code></a></h4> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -2,19 +2,19 @@ | |
<ul> | ||
<li>Imports: | ||
<ul> | ||
<li>interface <a href="#wasi:cli_environment_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_exit_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_environment_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_exit_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:io_error_0.2.0_rc_2023_11_10"><code>wasi:io/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:io_poll_0.2.0_rc_2023_11_10"><code>wasi:io/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:io_streams_0.2.0_rc_2023_11_10"><code>wasi:io/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdin_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdout_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_stderr_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_input_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_output_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdin_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdout_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stderr_0.2.0_rc_2023_11_10"><code>wasi:cli/[email protected]11-10</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdin_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_stdout_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_stderr_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_input_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_output_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdin_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stdout_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:cli_terminal_stderr_0.2.0_rc_2023_12_05"><code>wasi:cli/[email protected]12-05</code></a></li> | ||
<li>interface <a href="#wasi:clocks_monotonic_clock_0.2.0_rc_2023_11_10"><code>wasi:clocks/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:clocks_wall_clock_0.2.0_rc_2023_11_10"><code>wasi:clocks/[email protected]</code></a></li> | ||
<li>interface <a href="#wasi:filesystem_types_0.2.0_rc_2023_11_10"><code>wasi:filesystem/[email protected]</code></a></li> | ||
|
@@ -32,7 +32,7 @@ | |
</ul> | ||
</li> | ||
</ul> | ||
<h2><a name="wasi:cli_environment_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_environment_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Functions</h3> | ||
<h4><a name="get_environment"><code>get-environment: func</code></a></h4> | ||
|
@@ -59,7 +59,7 @@ directory, interpreting <code>.</code> as shorthand for this.</p> | |
<ul> | ||
<li><a name="initial_cwd.0"></a> option<<code>string</code>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_exit_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_exit_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Functions</h3> | ||
<h4><a name="exit"><code>exit: func</code></a></h4> | ||
|
@@ -469,7 +469,7 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="method_output_stream.blocking_splice.0"></a> result<<code>u64</code>, <a href="#stream_error"><a href="#stream_error"><code>stream-error</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_stdin_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_stdin_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="input_stream"><code>type input-stream</code></a></h4> | ||
|
@@ -482,7 +482,7 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="get_stdin.0"></a> own<<a href="#input_stream"><a href="#input_stream"><code>input-stream</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_stdout_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_stdout_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="output_stream"><code>type output-stream</code></a></h4> | ||
|
@@ -495,7 +495,7 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="get_stdout.0"></a> own<<a href="#output_stream"><a href="#output_stream"><code>output-stream</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_stderr_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_stderr_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="output_stream"><code>type output-stream</code></a></h4> | ||
|
@@ -508,17 +508,17 @@ is ready for reading, before performing the <code>splice</code>.</p> | |
<ul> | ||
<li><a name="get_stderr.0"></a> own<<a href="#output_stream"><a href="#output_stream"><code>output-stream</code></a></a>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_terminal_input_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_input_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="terminal_input"><code>resource terminal-input</code></a></h4> | ||
<p>The input side of a terminal.</p> | ||
<h2><a name="wasi:cli_terminal_output_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_output_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<hr /> | ||
<h3>Types</h3> | ||
<h4><a name="terminal_output"><code>resource terminal-output</code></a></h4> | ||
<p>The output side of a terminal.</p> | ||
<h2><a name="wasi:cli_terminal_stdin_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_stdin_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<p>An interface providing an optional <a href="#terminal_input"><code>terminal-input</code></a> for stdin as a | ||
link-time authority.</p> | ||
<hr /> | ||
|
@@ -535,7 +535,7 @@ allowing further interaction with it.</p> | |
<ul> | ||
<li><a name="get_terminal_stdin.0"></a> option<own<<a href="#terminal_input"><a href="#terminal_input"><code>terminal-input</code></a></a>>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_terminal_stdout_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_stdout_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<p>An interface providing an optional <a href="#terminal_output"><code>terminal-output</code></a> for stdout as a | ||
link-time authority.</p> | ||
<hr /> | ||
|
@@ -552,7 +552,7 @@ allowing further interaction with it.</p> | |
<ul> | ||
<li><a name="get_terminal_stdout.0"></a> option<own<<a href="#terminal_output"><a href="#terminal_output"><code>terminal-output</code></a></a>>></li> | ||
</ul> | ||
<h2><a name="wasi:cli_terminal_stderr_0.2.0_rc_2023_11_10">Import interface wasi:cli/[email protected]11-10</a></h2> | ||
<h2><a name="wasi:cli_terminal_stderr_0.2.0_rc_2023_12_05">Import interface wasi:cli/[email protected]12-05</a></h2> | ||
<p>An interface providing an optional <a href="#terminal_output"><code>terminal-output</code></a> for stderr as a | ||
link-time authority.</p> | ||
<hr /> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
package wasi:cli@0.2.0-rc-2023-11-10; | ||
package wasi:cli@0.2.0-rc-2023-12-05; | ||
|
||
world command { | ||
include imports; | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters