Lines Matching refs:future

28     // make a future read/write combo with the `id` specified.
29     future-new(u32),
30     // take a future readable end through the `future-take` import.
31     future-take(u32),
32     // pass the future specified to this component's `future-receive` import.
33     future-give(u32),
34     // drop the future end identified
35     future-drop-readable(u32),
37     future-write-ready(future-payload),
38     future-read-ready(future-payload),
39     future-write-pending(future-payload),
40     future-read-pending(u32),
41     future-write-dropped(u32),
42     future-cancel-write(u32),
43     future-cancel-read(u32),
44     future-write-assert-complete(u32),
45     future-write-assert-dropped(u32),
46     future-read-assert-complete(future-payload),
74   record future-payload {
75     %future: u32,
124   // Remove the future reader `id` from this component's state and return it.
125   future-take: func(id: u32) -> future<u32>;
126   // Receive a future from another component.
127   future-receive: func(id: u32, f: future<u32>);