chore: vendor p3 WIT

Signed-off-by: Roman Volosatovs <rvolosatovs@riseup.net>

Author: rvolosatovs

ci/vendor-wit.sh

@@ -68,6 +68,14 @@ make_vendor "wasi-config" "config@f4d699b"
 
 make_vendor "wasi-keyvalue" "keyvalue@219ea36"
 
+make_vendor "wasi/src/p3" "
+    cli@939bd6d@wit-0.3.0-draft
+    clocks@13d1c82@wit-0.3.0-draft
+    filesystem@e2a2ddc@wit-0.3.0-draft
+    random@4e94663@wit-0.3.0-draft
+    sockets@bb247e2@wit-0.3.0-draft
+"
+
 rm -rf $cache_dir
 
 # Separately (for now), vendor the `wasi-nn` WIT files since their retrieval is

crates/wasi/src/p3/wit/deps/cli/command.wit

@@ -0,0 +1,10 @@
+package wasi:cli@0.3.0;
+
+@since(version = 0.3.0)
+world command {
+  @since(version = 0.3.0)
+  include imports;
+
+  @since(version = 0.3.0)
+  export run;
+}

crates/wasi/src/p3/wit/deps/cli/environment.wit

@@ -0,0 +1,22 @@
+@since(version = 0.3.0)
+interface environment {
+  /// Get the POSIX-style environment variables.
+  ///
+  /// Each environment variable is provided as a pair of string variable names
+  /// and string value.
+  ///
+  /// Morally, these are a value import, but until value imports are available
+  /// in the component model, this import function should return the same
+  /// values each time it is called.
+  @since(version = 0.3.0)
+  get-environment: func() -> list<tuple<string, string>>;
+
+  /// Get the POSIX-style arguments to the program.
+  @since(version = 0.3.0)
+  get-arguments: func() -> list<string>;
+
+  /// Return a path that programs should use as their initial current working
+  /// directory, interpreting `.` as shorthand for this.
+  @since(version = 0.3.0)
+  initial-cwd: func() -> option<string>;
+}

crates/wasi/src/p3/wit/deps/cli/exit.wit

@@ -0,0 +1,17 @@
+@since(version = 0.3.0)
+interface exit {
+  /// Exit the current instance and any linked instances.
+  @since(version = 0.3.0)
+  exit: func(status: result);
+
+  /// Exit the current instance and any linked instances, reporting the
+  /// specified status code to the host.
+  ///
+  /// The meaning of the code depends on the context, with 0 usually meaning
+  /// "success", and other values indicating various types of failure.
+  ///
+  /// This function does not return; the effect is analogous to a trap, but
+  /// without the connotation that something bad has happened.
+  @unstable(feature = cli-exit-with-code)
+  exit-with-code: func(status-code: u8);
+}

crates/wasi/src/p3/wit/deps/cli/imports.wit

@@ -0,0 +1,34 @@
+package wasi:cli@0.3.0;
+
+@since(version = 0.3.0)
+world imports {
+  @since(version = 0.3.0)
+  include wasi:clocks/imports@0.3.0;
+  @since(version = 0.3.0)
+  include wasi:filesystem/imports@0.3.0;
+  @since(version = 0.3.0)
+  include wasi:sockets/imports@0.3.0;
+  @since(version = 0.3.0)
+  include wasi:random/imports@0.3.0;
+
+  @since(version = 0.3.0)
+  import environment;
+  @since(version = 0.3.0)
+  import exit;
+  @since(version = 0.3.0)
+  import stdin;
+  @since(version = 0.3.0)
+  import stdout;
+  @since(version = 0.3.0)
+  import stderr;
+  @since(version = 0.3.0)
+  import terminal-input;
+  @since(version = 0.3.0)
+  import terminal-output;
+  @since(version = 0.3.0)
+  import terminal-stdin;
+  @since(version = 0.3.0)
+  import terminal-stdout;
+  @since(version = 0.3.0)
+  import terminal-stderr;
+}

crates/wasi/src/p3/wit/deps/cli/run.wit

@@ -0,0 +1,6 @@
+@since(version = 0.3.0)
+interface run {
+  /// Run the program.
+  @since(version = 0.3.0)
+  run: func() -> result;
+}

crates/wasi/src/p3/wit/deps/cli/stdio.wit

@@ -0,0 +1,17 @@
+@since(version = 0.3.0)
+interface stdin {
+  @since(version = 0.3.0)
+  get-stdin: func() -> stream<u8>;
+}
+
+@since(version = 0.3.0)
+interface stdout {
+  @since(version = 0.3.0)
+  set-stdout: func(data: stream<u8>);
+}
+
+@since(version = 0.3.0)
+interface stderr {
+  @since(version = 0.3.0)
+  set-stderr: func(data: stream<u8>);
+}

crates/wasi/src/p3/wit/deps/cli/terminal.wit

@@ -0,0 +1,62 @@
+/// Terminal input.
+///
+/// In the future, this may include functions for disabling echoing,
+/// disabling input buffering so that keyboard events are sent through
+/// immediately, querying supported features, and so on.
+@since(version = 0.3.0)
+interface terminal-input {
+    /// The input side of a terminal.
+    @since(version = 0.3.0)
+    resource terminal-input;
+}
+
+/// Terminal output.
+///
+/// In the future, this may include functions for querying the terminal
+/// size, being notified of terminal size changes, querying supported
+/// features, and so on.
+@since(version = 0.3.0)
+interface terminal-output {
+    /// The output side of a terminal.
+    @since(version = 0.3.0)
+    resource terminal-output;
+}
+
+/// An interface providing an optional `terminal-input` for stdin as a
+/// link-time authority.
+@since(version = 0.3.0)
+interface terminal-stdin {
+    @since(version = 0.3.0)
+    use terminal-input.{terminal-input};
+
+    /// If stdin is connected to a terminal, return a `terminal-input` handle
+    /// allowing further interaction with it.
+    @since(version = 0.3.0)
+    get-terminal-stdin: func() -> option<terminal-input>;
+}
+
+/// An interface providing an optional `terminal-output` for stdout as a
+/// link-time authority.
+@since(version = 0.3.0)
+interface terminal-stdout {
+    @since(version = 0.3.0)
+    use terminal-output.{terminal-output};
+
+    /// If stdout is connected to a terminal, return a `terminal-output` handle
+    /// allowing further interaction with it.
+    @since(version = 0.3.0)
+    get-terminal-stdout: func() -> option<terminal-output>;
+}
+
+/// An interface providing an optional `terminal-output` for stderr as a
+/// link-time authority.
+@since(version = 0.3.0)
+interface terminal-stderr {
+    @since(version = 0.3.0)
+    use terminal-output.{terminal-output};
+
+    /// If stderr is connected to a terminal, return a `terminal-output` handle
+    /// allowing further interaction with it.
+    @since(version = 0.3.0)
+    get-terminal-stderr: func() -> option<terminal-output>;
+}

crates/wasi/src/p3/wit/deps/clocks/monotonic-clock.wit

@@ -0,0 +1,45 @@
+package wasi:clocks@0.3.0;
+/// WASI Monotonic Clock is a clock API intended to let users measure elapsed
+/// time.
+///
+/// It is intended to be portable at least between Unix-family platforms and
+/// Windows.
+///
+/// A monotonic clock is a clock which has an unspecified initial value, and
+/// successive reads of the clock will produce non-decreasing values.
+@since(version = 0.3.0)
+interface monotonic-clock {
+    /// An instant in time, in nanoseconds. An instant is relative to an
+    /// unspecified initial value, and can only be compared to instances from
+    /// the same monotonic-clock.
+    @since(version = 0.3.0)
+    type instant = u64;
+
+    /// A duration of time, in nanoseconds.
+    @since(version = 0.3.0)
+    type duration = u64;
+
+    /// Read the current value of the clock.
+    ///
+    /// The clock is monotonic, therefore calling this function repeatedly will
+    /// produce a sequence of non-decreasing values.
+    @since(version = 0.3.0)
+    now: func() -> instant;
+
+    /// Query the resolution of the clock. Returns the duration of time
+    /// corresponding to a clock tick.
+    @since(version = 0.3.0)
+    resolution: func() -> duration;
+
+    /// Wait until the specified instant has occurred.
+    @since(version = 0.3.0)
+    wait-until: async func(
+        when: instant,
+    );
+
+    /// Wait for the specified duration has elapsed.
+    @since(version = 0.3.0)
+    wait-for: async func(
+        how-long: duration,
+    );
+}

crates/wasi/src/p3/wit/deps/clocks/timezone.wit

@@ -0,0 +1,55 @@
+package wasi:clocks@0.3.0;
+
+@unstable(feature = clocks-timezone)
+interface timezone {
+    @unstable(feature = clocks-timezone)
+    use wall-clock.{datetime};
+
+    /// Return information needed to display the given `datetime`. This includes
+    /// the UTC offset, the time zone name, and a flag indicating whether
+    /// daylight saving time is active.
+    ///
+    /// If the timezone cannot be determined for the given `datetime`, return a
+    /// `timezone-display` for `UTC` with a `utc-offset` of 0 and no daylight
+    /// saving time.
+    @unstable(feature = clocks-timezone)
+    display: func(when: datetime) -> timezone-display;
+
+    /// The same as `display`, but only return the UTC offset.
+    @unstable(feature = clocks-timezone)
+    utc-offset: func(when: datetime) -> s32;
+
+    /// Information useful for displaying the timezone of a specific `datetime`.
+    ///
+    /// This information may vary within a single `timezone` to reflect daylight
+    /// saving time adjustments.
+    @unstable(feature = clocks-timezone)
+    record timezone-display {
+        /// The number of seconds difference between UTC time and the local
+        /// time of the timezone.
+        ///
+        /// The returned value will always be less than 86400 which is the
+        /// number of seconds in a day (24*60*60).
+        ///
+        /// In implementations that do not expose an actual time zone, this
+        /// should return 0.
+        utc-offset: s32,
+
+        /// The abbreviated name of the timezone to display to a user. The name
+        /// `UTC` indicates Coordinated Universal Time. Otherwise, this should
+        /// reference local standards for the name of the time zone.
+        ///
+        /// In implementations that do not expose an actual time zone, this
+        /// should be the string `UTC`.
+        ///
+        /// In time zones that do not have an applicable name, a formatted
+        /// representation of the UTC offset may be returned, such as `-04:00`.
+        name: string,
+
+        /// Whether daylight saving time is active.
+        ///
+        /// In implementations that do not expose an actual time zone, this
+        /// should return false.
+        in-daylight-saving-time: bool,
+    }
+}