2 | module IdrisGL.SDL.SDL_keycode
159 | | EK_KP_EQUALSAS400
176 | | EK_THOUSANDSSEPARATOR
177 | | EK_DECIMALSEPARATOR
179 | | EK_CURRENCYSUBUNIT
198 | | EK_KP_DBLAMPERSAND
199 | | EK_KP_VERTICALBAR
200 | | EK_KP_DBLVERTICALBAR
210 | | EK_KP_MEMSUBTRACT
211 | | EK_KP_MEMMULTIPLY
219 | | EK_KP_HEXADECIMAL
250 | | EK_BRIGHTNESSDOWN
253 | | EK_KBDILLUMTOGGLE
262 | | EK_AUDIOFASTFORWARD
265 | getKey : Int -> Key
266 | getKey 13 = EK_RETURN
267 | getKey 27 = EK_ESCAPE
268 | getKey 8 = EK_BACKSPACE
270 | getKey 32 = EK_SPACE
271 | getKey 33 = EK_EXCLAIM
272 | getKey 34 = EK_QUOTEDBL
273 | getKey 35 = EK_HASH
274 | getKey 37 = EK_PERCENT
275 | getKey 36 = EK_DOLLAR
276 | getKey 38 = EK_AMPERSAND
277 | getKey 39 = EK_QUOTE
278 | getKey 40 = EK_LEFTPAREN
279 | getKey 41 = EK_RIGHTPAREN
280 | getKey 42 = EK_ASTERISK
281 | getKey 43 = EK_PLUS
282 | getKey 44 = EK_COMMA
283 | getKey 45 = EK_MINUS
284 | getKey 46 = EK_PERIOD
285 | getKey 47 = EK_SLASH
296 | getKey 58 = EK_COLON
297 | getKey 59 = EK_SEMICOLON
298 | getKey 60 = EK_LESS
299 | getKey 61 = EK_EQUALS
300 | getKey 62 = EK_GREATER
301 | getKey 63 = EK_QUESTION
304 | getKey 91 = EK_LEFTBRACKET
305 | getKey 92 = EK_BACKSLASH
306 | getKey 93 = EK_RIGHTBRACKET
307 | getKey 94 = EK_CARET
308 | getKey 95 = EK_UNDERSCORE
309 | getKey 96 = EK_BACKQUOTE
337 | getKey 1073741881 = EK_CAPSLOCK
339 | getKey 1073741882 = EK_F1
340 | getKey 1073741883 = EK_F2
341 | getKey 1073741884 = EK_F3
342 | getKey 1073741885 = EK_F4
343 | getKey 1073741886 = EK_F5
344 | getKey 1073741887 = EK_F6
345 | getKey 1073741888 = EK_F7
346 | getKey 1073741889 = EK_F8
347 | getKey 1073741890 = EK_F9
348 | getKey 1073741891 = EK_F10
349 | getKey 1073741892 = EK_F11
350 | getKey 1073741893 = EK_F12
352 | getKey 1073741894 = EK_PRINTSCREEN
353 | getKey 1073741895 = EK_SCROLLLOCK
354 | getKey 1073741896 = EK_PAUSE
355 | getKey 1073741897 = EK_INSERT
356 | getKey 1073741898 = EK_HOME
357 | getKey 1073741899 = EK_PAGEUP
358 | getKey 127 = EK_DELETE
359 | getKey 1073741901 = EK_END
360 | getKey 1073741902 = EK_PAGEDOWN
361 | getKey 1073741903 = EK_RIGHT
362 | getKey 1073741904 = EK_LEFT
363 | getKey 1073741905 = EK_DOWN
364 | getKey 1073741906 = EK_UP
366 | getKey 1073741907 = EK_NUMLOCKCLEAR
367 | getKey 1073741908 = EK_KP_DIVIDE
368 | getKey 1073741909 = EK_KP_MULTIPLY
369 | getKey 1073741910 = EK_KP_MINUS
370 | getKey 1073741911 = EK_KP_PLUS
371 | getKey 1073741912 = EK_KP_ENTER
372 | getKey 1073741913 = EK_KP_1
373 | getKey 1073741914 = EK_KP_2
374 | getKey 1073741915 = EK_KP_3
375 | getKey 1073741916 = EK_KP_4
376 | getKey 1073741917 = EK_KP_5
377 | getKey 1073741918 = EK_KP_6
378 | getKey 1073741919 = EK_KP_7
379 | getKey 1073741920 = EK_KP_8
380 | getKey 1073741921 = EK_KP_9
381 | getKey 1073741922 = EK_KP_0
382 | getKey 1073741923 = EK_KP_PERIOD
384 | getKey 1073741925 = EK_APPLICATION
385 | getKey 1073741926 = EK_POWER
386 | getKey 1073741927 = EK_KP_EQUALS
387 | getKey 1073741928 = EK_F13
388 | getKey 1073741929 = EK_F14
389 | getKey 1073741930 = EK_F15
390 | getKey 1073741931 = EK_F16
391 | getKey 1073741932 = EK_F17
392 | getKey 1073741933 = EK_F18
393 | getKey 1073741934 = EK_F19
394 | getKey 1073741935 = EK_F20
395 | getKey 1073741936 = EK_F21
396 | getKey 1073741937 = EK_F22
397 | getKey 1073741938 = EK_F23
398 | getKey 1073741939 = EK_F24
399 | getKey 1073741940 = EK_EXECUTE
400 | getKey 1073741941 = EK_HELP
401 | getKey 1073741942 = EK_MENU
402 | getKey 1073741943 = EK_SELECT
403 | getKey 1073741944 = EK_STOP
404 | getKey 1073741945 = EK_AGAIN
405 | getKey 1073741946 = EK_UNDO
406 | getKey 1073741947 = EK_CUT
407 | getKey 1073741948 = EK_COPY
408 | getKey 1073741949 = EK_PASTE
409 | getKey 1073741950 = EK_FIND
410 | getKey 1073741951 = EK_MUTE
411 | getKey 1073741952 = EK_VOLUMEUP
412 | getKey 1073741953 = EK_VOLUMEDOWN
413 | getKey 1073741957 = EK_KP_COMMA
414 | getKey 1073741958 = EK_KP_EQUALSAS400
416 | getKey 1073741977 = EK_ALTERASE
417 | getKey 1073741978 = EK_SYSREQ
418 | getKey 1073741979 = EK_CANCEL
419 | getKey 1073741980 = EK_CLEAR
420 | getKey 1073741981 = EK_PRIOR
421 | getKey 1073741982 = EK_RETURN2
422 | getKey 1073741983 = EK_SEPARATOR
423 | getKey 1073741984 = EK_OUT
424 | getKey 1073741985 = EK_OPER
425 | getKey 1073741986 = EK_CLEARAGAIN
426 | getKey 1073741987 = EK_CRSEL
427 | getKey 1073741988 = EK_EXSEL
429 | getKey 1073742000 = EK_KP_00
430 | getKey 1073742001 = EK_KP_000
431 | getKey 1073742002 = EK_THOUSANDSSEPARATOR
432 | getKey 1073742003 = EK_DECIMALSEPARATOR
433 | getKey 1073742004 = EK_CURRENCYUNIT
434 | getKey 1073742005 = EK_CURRENCYSUBUNIT
435 | getKey 1073742006 = EK_KP_LEFTPAREN
436 | getKey 1073742007 = EK_KP_RIGHTPAREN
437 | getKey 1073742008 = EK_KP_LEFTBRACE
438 | getKey 1073742009 = EK_KP_RIGHTBRACE
439 | getKey 1073742010 = EK_KP_TAB
440 | getKey 1073742011 = EK_KP_BACKSPACE
441 | getKey 1073742012 = EK_KP_A
442 | getKey 1073742013 = EK_KP_B
443 | getKey 1073742014 = EK_KP_C
444 | getKey 1073742015 = EK_KP_D
445 | getKey 1073742016 = EK_KP_E
446 | getKey 1073742017 = EK_KP_F
447 | getKey 1073742018 = EK_KP_XOR
448 | getKey 1073742019 = EK_KP_POWER
449 | getKey 1073742020 = EK_KP_PERCENT
450 | getKey 1073742021 = EK_KP_LESS
451 | getKey 1073742022 = EK_KP_GREATER
452 | getKey 1073742023 = EK_KP_AMPERSAND
453 | getKey 1073742024 = EK_KP_DBLAMPERSAND
454 | getKey 1073742025 = EK_KP_VERTICALBAR
455 | getKey 1073742026 = EK_KP_DBLVERTICALBAR
456 | getKey 1073742027 = EK_KP_COLON
457 | getKey 1073742028 = EK_KP_HASH
458 | getKey 1073742029 = EK_KP_SPACE
459 | getKey 1073742030 = EK_KP_AT
460 | getKey 1073742031 = EK_KP_EXCLAM
461 | getKey 1073742032 = EK_KP_MEMSTORE
462 | getKey 1073742033 = EK_KP_MEMRECALL
463 | getKey 1073742034 = EK_KP_MEMCLEAR
464 | getKey 1073742035 = EK_KP_MEMADD
465 | getKey 1073742036 = EK_KP_MEMSUBTRACT
466 | getKey 1073742037 = EK_KP_MEMMULTIPLY
467 | getKey 1073742038 = EK_KP_MEMDIVIDE
468 | getKey 1073742039 = EK_KP_PLUSMINUS
469 | getKey 1073742040 = EK_KP_CLEAR
470 | getKey 1073742041 = EK_KP_CLEARENTRY
471 | getKey 1073742042 = EK_KP_BINARY
472 | getKey 1073742043 = EK_KP_OCTAL
473 | getKey 1073742044 = EK_KP_DECIMAL
474 | getKey 1073742045 = EK_KP_HEXADECIMAL
476 | getKey 1073742048 = EK_LCTRL
477 | getKey 1073742049 = EK_LSHIFT
478 | getKey 1073742050 = EK_LALT
479 | getKey 1073742051 = EK_LGUI
480 | getKey 1073742052 = EK_RCTRL
481 | getKey 1073742053 = EK_RSHIFT
482 | getKey 1073742054 = EK_RALT
483 | getKey 1073742055 = EK_RGUI
485 | getKey 1073742081 = EK_MODE
487 | getKey 1073742082 = EK_AUDIONEXT
488 | getKey 1073742083 = EK_AUDIOPREV
489 | getKey 1073742084 = EK_AUDIOSTOP
490 | getKey 1073742085 = EK_AUDIOPLAY
491 | getKey 1073742086 = EK_AUDIOMUTE
492 | getKey 1073742087 = EK_MEDIASELECT
493 | getKey 1073742088 = EK_WWW
494 | getKey 1073742089 = EK_MAIL
495 | getKey 1073742090 = EK_CALCULATOR
496 | getKey 1073742091 = EK_COMPUTER
497 | getKey 1073742092 = EK_AC_SEARCH
498 | getKey 1073742093 = EK_AC_HOME
499 | getKey 1073742094 = EK_AC_BACK
500 | getKey 1073742095 = EK_AC_FORWARD
501 | getKey 1073742096 = EK_AC_STOP
502 | getKey 1073742097 = EK_AC_REFRESH
503 | getKey 1073742098 = EK_AC_BOOKMARKS
505 | getKey 1073742099 = EK_BRIGHTNESSDOWN
506 | getKey 1073742100 = EK_BRIGHTNESSUP
507 | getKey 1073742101 = EK_DISPLAYSWITCH
508 | getKey 1073742102 = EK_KBDILLUMTOGGLE
509 | getKey 1073742103 = EK_KBDILLUMDOWN
510 | getKey 1073742104 = EK_KBDILLUMUP
511 | getKey 1073742105 = EK_EJECT
512 | getKey 1073742106 = EK_SLEEP
513 | getKey 1073742107 = EK_APP1
514 | getKey 1073742108 = EK_APP2
516 | getKey 1073742109 = EK_AUDIOREWIND
517 | getKey 1073742110 = EK_AUDIOFASTFORWARD
519 | getKey _ = EK_UNKNOWN