wit-component 0.3.2

Tooling for working with `*.wit` and component files together.
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
108
109
110
111
112
113
114
115
116
117
118
119
120

interface records {
  record empty {
  }

  record scalars {
    a: u32,
    b: u32,
  }

  flags really-flags {
    a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
  }

  record aggregates {
    a: scalars,
    b: u32,
    c: empty,
    d: string,
    e: really-flags,
  }

  type int-typedef = s32

  type tuple-typedef2 = tuple<int-typedef>

  tuple-arg: func(x: tuple<char, u32>)

  tuple-result: func() -> tuple<char, u32>

  empty-arg: func(x: empty)

  empty-result: func() -> empty

  scalar-arg: func(x: scalars)

  scalar-result: func() -> scalars

  flags-arg: func(x: really-flags)

  flags-result: func() -> really-flags

  aggregate-arg: func(x: aggregates)

  aggregate-result: func() -> aggregates

  typedef-inout: func(e: tuple-typedef2) -> s32

}

interface records-exports {
  record empty {
  }

  record scalars {
    a: u32,
    b: u32,
  }

  record really-flags {
    a: bool,
    b: bool,
    c: bool,
    d: bool,
    e: bool,
    f: bool,
    g: bool,
    h: bool,
    i: bool,
  }

  record aggregates {
    a: scalars,
    b: u32,
    c: empty,
    d: string,
    e: really-flags,
  }

  type tuple-typedef = tuple<s32>

  type int-typedef = s32

  type tuple-typedef2 = tuple<int-typedef>

  tuple-arg: func(x: tuple<char, u32>)

  tuple-result: func() -> tuple<char, u32>

  empty-arg: func(x: empty)

  empty-result: func() -> empty

  scalar-arg: func(x: scalars)

  scalar-result: func() -> scalars

  flags-arg: func(x: really-flags)

  flags-result: func() -> really-flags

  aggregate-arg: func(x: aggregates)

  aggregate-result: func() -> aggregates

  typedef-inout: func(e: tuple-typedef2) -> s32

}

world records-world {
  import records: records
  export records: records-exports
}