package wayland

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Wl_keyboard.Key_stateSource

Physical key state.

Describes the physical state of a key that produced the key event.

Since version 10, the key can be in a "repeated" pseudo-state which means the same as "pressed", but is used to signal repetition in the key event.

The key may only enter the repeated state after entering the pressed state and before entering the released state. This event may be generated multiple times while the key is down.

Sourcetype t =
  1. | Released : t
  2. | Pressed : t
  3. | Repeated : t
Sourceval to_int32 : t -> int32
Sourceval of_int32 : int32 -> t