Module Claudius.Key

The Key module defines a platform-independent representation of keyboard keys.

type t =
  1. | Left
  2. | Right
  3. | Up
  4. | Down
    (*

    Arrow keys

    *)
  5. | Shift_L
  6. | Shift_R
  7. | Control_L
  8. | Control_R
  9. | Alt_L
  10. | Alt_R
  11. | CapsLock
  12. | NumLock
  13. | ScrollLock
    (*

    Modifier keys

    *)
  14. | F1
  15. | F2
  16. | F3
  17. | F4
  18. | F5
  19. | F6
  20. | F7
  21. | F8
  22. | F9
  23. | F10
  24. | F11
  25. | F12
    (*

    Function keys

    *)
  26. | Insert
  27. | Delete
  28. | Home
  29. | End
  30. | PageUp
  31. | PageDown
    (*

    Navigation keys

    *)
  32. | Space
  33. | Escape
  34. | Enter
  35. | Backspace
  36. | Tab
  37. | PrintScreen
  38. | Pause
    (*

    Special keys

    *)
  39. | A
  40. | B
  41. | C
  42. | D
  43. | E
  44. | F
  45. | G
  46. | H
  47. | I
  48. | J
  49. | K
  50. | L
  51. | M
  52. | N
  53. | O
  54. | P
  55. | Q
  56. | R
  57. | S
  58. | T
  59. | U
  60. | V
  61. | W
  62. | X
  63. | Y
  64. | Z
    (*

    Alphabet keys (lowercase)

    *)
  65. | Num0
  66. | Num1
  67. | Num2
  68. | Num3
  69. | Num4
  70. | Num5
  71. | Num6
  72. | Num7
  73. | Num8
  74. | Num9
    (*

    Number keys

    *)
  75. | Unknown
    (*

    Unknown key

    *)

Type representing generic keys across different backends.