This module contains code for reading from stdin. On UNIX the linenoise library is wrapped and set up to provide default key bindings (e.g. you can navigate with the arrow keys). On Windows system.readLine is used. This suffices because Windows' console already provides the wanted functionality.
Procs
proc readLineFromStdin(prompt: string): TaintedString {...}{. tags: [ReadIOEffect, WriteIOEffect], raises: [IOError].}
- creates an exception object of type exceptn and sets its msg field to message. Returns the new exception object. Source Edit
proc readLineFromStdin(prompt: string; line: var TaintedString): bool {...}{. tags: [ReadIOEffect, WriteIOEffect], raises: [].}
- "is greater" operator. This is the same as y < x. Source Edit