Lines Matching refs:input

54   use wasi:io/[email protected].{input-stream};
57   get-stdin: func() -> input-stream;
78 /// Terminal input.
81 /// disabling input buffering so that keyboard events are sent through
84 interface terminal-input {
85   /// The input side of a terminal.
87   resource terminal-input;
102 /// An interface providing an optional `terminal-input` for stdin as a
107   use terminal-input.{terminal-input};
109   /// If stdin is connected to a terminal, return a `terminal-input` handle
112   get-terminal-stdin: func() -> option<terminal-input>;
160   import terminal-input;
219   import terminal-input;