IdrisGL.SDL.SDL_keycode

Definitions

data Key : Type

  All supported key events.

Totality: total
Visibility: public export
Constructors:

EK_UNKNOWN : Key
EK_RETURN : Key
EK_ESCAPE : Key
EK_BACKSPACE : Key
EK_TAB : Key
EK_SPACE : Key
EK_EXCLAIM : Key
EK_QUOTEDBL : Key
EK_HASH : Key
EK_PERCENT : Key
EK_DOLLAR : Key
EK_AMPERSAND : Key
EK_QUOTE : Key
EK_LEFTPAREN : Key
EK_RIGHTPAREN : Key
EK_ASTERISK : Key
EK_PLUS : Key
EK_COMMA : Key
EK_MINUS : Key
EK_PERIOD : Key
EK_SLASH : Key
EK_0 : Key
EK_1 : Key
EK_2 : Key
EK_3 : Key
EK_4 : Key
EK_5 : Key
EK_6 : Key
EK_7 : Key
EK_8 : Key
EK_9 : Key
EK_COLON : Key
EK_SEMICOLON : Key
EK_LESS : Key
EK_EQUALS : Key
EK_GREATER : Key
EK_QUESTION : Key
EK_AT : Key
EK_LEFTBRACKET : Key
EK_BACKSLASH : Key
EK_RIGHTBRACKET : Key
EK_CARET : Key
EK_UNDERSCORE : Key
EK_BACKQUOTE : Key
EK_a : Key
EK_b : Key
EK_c : Key
EK_d : Key
EK_e : Key
EK_f : Key
EK_g : Key
EK_h : Key
EK_i : Key
EK_j : Key
EK_k : Key
EK_l : Key
EK_m : Key
EK_n : Key
EK_o : Key
EK_p : Key
EK_q : Key
EK_r : Key
EK_s : Key
EK_t : Key
EK_u : Key
EK_v : Key
EK_w : Key
EK_x : Key
EK_y : Key
EK_z : Key
EK_CAPSLOCK : Key
EK_F1 : Key
EK_F2 : Key
EK_F3 : Key
EK_F4 : Key
EK_F5 : Key
EK_F6 : Key
EK_F7 : Key
EK_F8 : Key
EK_F9 : Key
EK_F10 : Key
EK_F11 : Key
EK_F12 : Key
EK_PRINTSCREEN : Key
EK_SCROLLLOCK : Key
EK_PAUSE : Key
EK_INSERT : Key
EK_HOME : Key
EK_PAGEUP : Key
EK_DELETE : Key
EK_END : Key
EK_PAGEDOWN : Key
EK_RIGHT : Key
EK_LEFT : Key
EK_DOWN : Key
EK_UP : Key
EK_NUMLOCKCLEAR : Key
EK_KP_DIVIDE : Key
EK_KP_MULTIPLY : Key
EK_KP_MINUS : Key
EK_KP_PLUS : Key
EK_KP_ENTER : Key
EK_KP_1 : Key
EK_KP_2 : Key
EK_KP_3 : Key
EK_KP_4 : Key
EK_KP_5 : Key
EK_KP_6 : Key
EK_KP_7 : Key
EK_KP_8 : Key
EK_KP_9 : Key
EK_KP_0 : Key
EK_KP_PERIOD : Key
EK_APPLICATION : Key
EK_POWER : Key
EK_KP_EQUALS : Key
EK_F13 : Key
EK_F14 : Key
EK_F15 : Key
EK_F16 : Key
EK_F17 : Key
EK_F18 : Key
EK_F19 : Key
EK_F20 : Key
EK_F21 : Key
EK_F22 : Key
EK_F23 : Key
EK_F24 : Key
EK_EXECUTE : Key
EK_HELP : Key
EK_MENU : Key
EK_SELECT : Key
EK_STOP : Key
EK_AGAIN : Key
EK_UNDO : Key
EK_CUT : Key
EK_COPY : Key
EK_PASTE : Key
EK_FIND : Key
EK_MUTE : Key
EK_VOLUMEUP : Key
EK_VOLUMEDOWN : Key
EK_KP_COMMA : Key
EK_KP_EQUALSAS400 : Key
EK_ALTERASE : Key
EK_SYSREQ : Key
EK_CANCEL : Key
EK_CLEAR : Key
EK_PRIOR : Key
EK_RETURN2 : Key
EK_SEPARATOR : Key
EK_OUT : Key
EK_OPER : Key
EK_CLEARAGAIN : Key
EK_CRSEL : Key
EK_EXSEL : Key
EK_KP_00 : Key
EK_KP_000 : Key
EK_THOUSANDSSEPARATOR : Key
EK_DECIMALSEPARATOR : Key
EK_CURRENCYUNIT : Key
EK_CURRENCYSUBUNIT : Key
EK_KP_LEFTPAREN : Key
EK_KP_RIGHTPAREN : Key
EK_KP_LEFTBRACE : Key
EK_KP_RIGHTBRACE : Key
EK_KP_TAB : Key
EK_KP_BACKSPACE : Key
EK_KP_A : Key
EK_KP_B : Key
EK_KP_C : Key
EK_KP_D : Key
EK_KP_E : Key
EK_KP_F : Key
EK_KP_XOR : Key
EK_KP_POWER : Key
EK_KP_PERCENT : Key
EK_KP_LESS : Key
EK_KP_GREATER : Key
EK_KP_AMPERSAND : Key
EK_KP_DBLAMPERSAND : Key
EK_KP_VERTICALBAR : Key
EK_KP_DBLVERTICALBAR : Key
EK_KP_COLON : Key
EK_KP_HASH : Key
EK_KP_SPACE : Key
EK_KP_AT : Key
EK_KP_EXCLAM : Key
EK_KP_MEMSTORE : Key
EK_KP_MEMRECALL : Key
EK_KP_MEMCLEAR : Key
EK_KP_MEMADD : Key
EK_KP_MEMSUBTRACT : Key
EK_KP_MEMMULTIPLY : Key
EK_KP_MEMDIVIDE : Key
EK_KP_PLUSMINUS : Key
EK_KP_CLEAR : Key
EK_KP_CLEARENTRY : Key
EK_KP_BINARY : Key
EK_KP_OCTAL : Key
EK_KP_DECIMAL : Key
EK_KP_HEXADECIMAL : Key
EK_LCTRL : Key
EK_LSHIFT : Key
EK_LALT : Key
EK_LGUI : Key
EK_RCTRL : Key
EK_RSHIFT : Key
EK_RALT : Key
EK_RGUI : Key
EK_MODE : Key
EK_AUDIONEXT : Key
EK_AUDIOPREV : Key
EK_AUDIOSTOP : Key
EK_AUDIOPLAY : Key
EK_AUDIOMUTE : Key
EK_MEDIASELECT : Key
EK_WWW : Key
EK_MAIL : Key
EK_CALCULATOR : Key
EK_COMPUTER : Key
EK_AC_SEARCH : Key
EK_AC_HOME : Key
EK_AC_BACK : Key
EK_AC_FORWARD : Key
EK_AC_STOP : Key
EK_AC_REFRESH : Key
EK_AC_BOOKMARKS : Key
EK_BRIGHTNESSDOWN : Key
EK_BRIGHTNESSUP : Key
EK_DISPLAYSWITCH : Key
EK_KBDILLUMTOGGLE : Key
EK_KBDILLUMDOWN : Key
EK_KBDILLUMUP : Key
EK_EJECT : Key
EK_SLEEP : Key
EK_APP1 : Key
EK_APP2 : Key
EK_AUDIOREWIND : Key
EK_AUDIOFASTFORWARD : Key

getKey : Int -> Key

Visibility: export