wit-parser 0.248.0

Tooling for parsing `*.wit` files and working with their contents.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107

package a:b@1.0.1;

@since(version = 1.0.0)
interface foo1 {}

@since(version = 1.0.0)
interface foo2 {}

@since(version = 1.0.0)
interface foo3 {}

@unstable(feature = foo2)
interface foo4 {}

@since(version = 1.0.1)
world w1 {}

@since(version = 1.0.0)
world w2 {}

interface in-an-interface {
  @since(version = 1.0.0)
  foo: func();
  @since(version = 1.0.0)
  resource r1;
  @since(version = 1.0.0)
  resource r2 {}

  @since(version = 1.0.0)
  type t1 = u32;
  @since(version = 1.0.0)
  record t2 { a: u32 }
  @since(version = 1.0.0)
  enum t3 { a }
  @since(version = 1.0.0)
  flags t4 { a }
  @since(version = 1.0.0)
  variant t5 { a }

  @since(version = 1.0.0)
  resource r3 {
    @since(version = 1.0.0)
    constructor();

    @since(version = 1.0.0)
    x1: static func();

    @since(version = 1.0.0)
    x2: func();
  }
}

interface z {}

world in-a-world {
  @since(version = 1.0.0)
  import x: func();
  @since(version = 1.0.0)
  export x: func();

  @since(version = 1.0.0)
  import y: interface {}
  @since(version = 1.0.0)
  export y: interface {}

  @since(version = 1.0.0)
  import z;
  @since(version = 1.0.0)
  export z;


  @since(version = 1.0.0)
  record t1 { x: u32 }
  @since(version = 1.0.0)
  enum t2 { a }
  @since(version = 1.0.0)
  variant t3 { a }
  @since(version = 1.0.0)
  flags t4 { a }
  @since(version = 1.0.0)
  type t5 = u32;
  @since(version = 1.0.0)
  resource t6;
  @since(version = 1.0.0)
  resource t7 {
    @since(version = 1.0.0)
    constructor();
  }
}

interface deprecated1 {
  @since(version = 1.0.0)
  @deprecated(version = 1.0.1)
  type t1 = u32;

  @deprecated(version = 1.0.1)
  @since(version = 1.0.0)
  type t2 = u32;

  @unstable(feature = foo)
  @deprecated(version = 1.0.1)
  type t3 = u32;

  @deprecated(version = 1.0.1)
  @unstable(feature = foo)
  type t4 = u32;
}