Terminal

Use withStack to ensure a stack is pushed on before f is evaluated, and popped when f finishes.

Use withToggle to ensure a toggle is turned on before f is evaluated, and turned off when f finishes.

Run the given terminal program f in alternate screen mode, which means that whatever is displayed by f will not been shown when the program exits, and similarly key presses will not be saved in the history buffer.

Run the given terminal program f in application mode, which changes the input sent to the program when arrow keys are pressed. See https://invisible-island.net/xterm/xterm.faq.html#xterm_arrows

Flush the current output, causing it to be shown on the console.

Run the given terminal program f in raw mode, which means that the program can read user input a character at a time. In canonical mode, which is the default, user input is only available a line at a time.

Write a string to the console.

Write a character to the console.