NCurses.Core.SpecialKey

Definitions

data Key : Type

  Keys that can be used when keypad is turned on.
  See @keypad@ and @keypad'@.

Totality: total
Visibility: public export
Constructors:

F0 : Key

F1 : Key

F2 : Key

F3 : Key

F4 : Key

F5 : Key

F6 : Key

F7 : Key

F8 : Key

F9 : Key

F10 : Key

F11 : Key

F12 : Key

Up : Key

Down : Key

Left : Key

Right : Key

Backspace : Key

fnKeyChar : HasIO io => Key -> io Char

  Turn a Key into a Char that can be used to compare against
  the results of getCh. This only applies if you have enabled
  keypad for the given window.                                               
  See @keypad@ and @keypad'@.

Totality: total
Visibility: export

keyMap : HasIO io => io (List (Char, Key))

  A Map from Chars to Keys that can be used to look characters up when
  keypad is enabled.

Totality: total
Visibility: export

keypad' : HasIO io => Window -> Bool -> io ()

  Turn keypad mode on or off for the given window.
  When on, function keys (F0, F1, ...) and arrow keys are
  transformed into single chars that can be compared against
  the result of passing a particular key to the fnKeyChar
  function.

Totality: total
Visibility: export

keypad : HasIO io => Bool -> io ()

  Turn keypad mode on or off for the std window.
  When on, function keys (F0, F1, ...) and arrow keys are
  transformed into single chars that can be compared against
  the result of passing a particular key to the fnKeyChar
  function.

Totality: total
Visibility: export