Skip to content

Commit

Permalink
chore(*): convert to resources and add package version
Browse files Browse the repository at this point in the history
Signed-off-by: Jiaxiao Zhou (Mossaka) <[email protected]>
  • Loading branch information
Mossaka committed Jan 16, 2024
1 parent 1a22661 commit 47fe41b
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
2 changes: 1 addition & 1 deletion wit/messaging.wit
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
package wasi:messaging;
package wasi:messaging@0.1.0;

world messaging {
import producer;
Expand Down
14 changes: 7 additions & 7 deletions wit/types.wit
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
interface messaging-types {
/// A connection to a message-exchange service (e.g., buffer, broker, etc.).
type client = u32;
disconnect: func(c: client);
connect: func(name: string) -> result<client, error>;

resource client {
connect: static func(name: string) -> result<client, error>;
}
/// TODO(danbugs): This should be eventually extracted as an underlying type for other wasi-cloud-core interfaces.
type error = u32;
drop-error: func(e: error);
trace: func(e: error) -> string;
resource error {
trace: static func() -> string;
}

/// There are two types of channels:
/// - publish-subscribe channel, which is a broadcast channel, and
Expand Down

0 comments on commit 47fe41b

Please sign in to comment.