Representation of the terminal, giving structured access to IO.

create ~dispose ~nosig ~mouse ~input ~output () creates a fresh terminal. It has the following side effects:

• Unix.tcsetattr is applied to input to disable echo and canonical mode.
• output is set to alternate screen mode, and the cursor is hidden. Mouse and bracketed paste reporting are (optionally) enabled.
• SIGWINCH signal, normally ignored, is handled.

~dispose arranges for automatic cleanup of the terminal before the process terminates. The downside is that a reference to this terminal is retained until the program exits. Defaults to true.

~nosig additionally turns off signal delivery and flow control (isig and ixon) on input. Inhibits automatic handling of CTRL-{C,Z,\,S,Q}. Defaults to true.

~mouse activates mouse reporting. Defaults to true.

~bpaste activates bracketed paste reporting. Defaults to true.

~input is the input file descriptor. Defaults to stdin.

~output is the output file descriptor. Defaults to stdout.

Dispose of this terminal. Original behavior of input fd is reinstated, cursor is restored, mouse reporting disabled, and alternate mode is terminated.

It is an error to use the commands on a released terminal, and will raise Invalid_argument, while release itself is idempotent.

image t i sets i as t's current image and redraws the terminal.

refresh t redraws the terminal using the current image.

Useful if the output might have become garbled.

cursor t pos sets and redraws the cursor.

None hides it. Some (x, y) places it at column x and row y, with the origin at (0, 0), mapping to the upper-left corner.

Wait for a new event. event t can be:

• #Unescape.event, an event from the input fd;
• `End if the input fd is closed, or the terminal was released; or
• `Resize (cols, rows) giving the current size of the output tty, if a SIGWINCH was delivered before or during this call to event.

Note event is buffered. Calls can either block or immediately return. Use pending to detect when the next call would not block.

pending t is true if the next call to event would not block and the terminal has not yet been released.

size t is the current size of the terminal's output tty.

fds t are t's input and output file descriptors.

Manual SIGWINCH handling.