Index of values

add a s returns a set containing all elements of s plus a.

Return the size of the buffered contents of a given input channel that has not been read yet.

Return the size of the buffered contents of a given input channel that has not been read yet, from current position until '\n'.

Return the clicked mouse button of a given event.

Return the char of a given event.

clear_eol oc () clears from the cursor position to the end of the line.

clear_line oc () is a combination of move_to_bol oc () and clear_eol oc ().

clear_screen oc () clears all of a given screen buffer.

color oc ~reset ~bold ~underscore ~blink ~reverse ~concealed ~foreground ~background () sets the color for writing.

The empty set.

Represent a given event as escape sequence.

The grayscale colors.

Same as Unix.read.

Read one event from a given file descriptor.

Read from a given input channel until a newline.

Check whether a given event contains some char or not.

Check whether a given event means some mouse button is clicked.

Check whether a given file descriptor is empty or having any events.

Check whether a given event contains some key or not.

Check whether a given event means the terminal window has been resized.

Check whether a given event contains some string(non-escape sequence) or not.

Same as Unix.isatty.

is_terminal_in ic returns true if a given input channel is associated to the terminal.

is_terminal_out oc returns true if a given output channel is associated to the terminal.

Return the key of a given event.

In windows, encode a string from UTF-8 to the active code page.

mem a s is true if a is included in s.

mode ic ~echo ~canonical ~control_c ~mouse f saves, changes, and restores the mode of a given input channel.

move oc x y moves the cursor in relative coordinates from the current position.

move_to_bol oc () moves the cursor to the beginning of the line.

Same as Unix.write, but the returned type is unit.

Write "\n" (in POSIX) or "\r\n" (in Windows).

Same as output_substring fd s 0 (String.length s).

Write a UTF-8 encoded string to a given output channel.

Same as output but take a string instead of a bytes.

Write a part of a UTF-8 encoded string to a given output channel.

position oc gets the cursor position in absolute coordinates.

Return the pointed position of a given event.

The RGB colors.

save oc f saves and restores the current position and the color.

screen oc ~size ~cursor ~wrap f saves the current screen buffer, uses new screen buffer, and restores it.

scroll oc y scrolls the contents in the current view port.

set_position oc x y moves the cursor in absolute coordinates.

set_size oc width height sets the size of the current screen buffer.

Return the shift state of a given event.

show_cursor oc flag show or hide the cursor.

size oc gets the size of the current screen buffer.

Return the new window size of a given event.

Return the string of a given event.

Check whether the terminal supports 256 color.

The 16 system colors.

title t f saves the old window title, sets it to a given string t, and restores it.

title_utf8 t f saves the old window title, sets it to a given UTF-8 encoded string t, and restores it.

In windows, encode a string from the active code page to UTF-8.

view oc gets the range of the current view port that is a part of the current screen buffer.

wrap oc flag enables or disables line wrapping.