package wayland

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

Source file wlr_layer_shell_unstable_v1_proto.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
(* This file was generated automatically by wayland-scanner-ocaml *)

open struct
  module Proxy = Wayland.Proxy
  module Iface_reg = Wayland.Iface_reg
  module Metadata = Wayland.Metadata
end

module Zwlr_layer_shell_v1 = struct
  type t = [`Zwlr_layer_shell_v1]
  type _ Metadata.ty += T : [`Zwlr_layer_shell_v1] Metadata.ty
  type versions = [`V1 | `V2 | `V3 | `V4 | `V5]
  let interface = "zwlr_layer_shell_v1"
  let version = 5l
  
  module Error = struct
    type t =
      | Role : t
      | Invalid_layer : t
      | Already_constructed : t
    
    let to_int32 = function
      | Role -> 0l
      | Invalid_layer -> 1l
      | Already_constructed -> 2l
    
    let of_int32 = function
      | 0l -> Role
      | 1l -> Invalid_layer
      | 2l -> Already_constructed
      | x -> Fmt.failwith "Invalid error enum value %ld" x
  end
  
  
  (** Available layers for surfaces.
      
      These values indicate which layers a surface can be rendered in. They
      are ordered by z depth, bottom-most first. Traditional shell surfaces
      will typically be rendered between the bottom and top layers.
      Fullscreen shell surfaces are typically rendered at the top layer.
      Multiple surfaces can share a single layer, and ordering within a
      single layer is undefined. *)
  module Layer = struct
    type t =
      | Background : t
      | Bottom : t
      | Top : t
      | Overlay : t
    
    let to_int32 = function
      | Background -> 0l
      | Bottom -> 1l
      | Top -> 2l
      | Overlay -> 3l
    
    let of_int32 = function
      | 0l -> Background
      | 1l -> Bottom
      | 2l -> Top
      | 3l -> Overlay
      | x -> Fmt.failwith "Invalid layer enum value %ld" x
  end
  
  let requests = function
    | 0 -> "get_layer_surface", ["id", `New_ID (Some "zwlr_layer_surface_v1"); "surface", `Object (Some "wl_surface");
                                 "output", `Object (Some "wl_output"); "layer", `Uint; "namespace", `String]
    | 1 -> "destroy", []
    | i -> Proxy.unknown_request i, []
  
  let events = function
    | i -> Proxy.unknown_event i, []
  
end
let () = Iface_reg.register (module Zwlr_layer_shell_v1)

module Zwlr_layer_surface_v1 = struct
  type t = [`Zwlr_layer_surface_v1]
  type _ Metadata.ty += T : [`Zwlr_layer_surface_v1] Metadata.ty
  type versions = [`V1 | `V2 | `V3 | `V4 | `V5]
  let interface = "zwlr_layer_surface_v1"
  let version = 5l
  
  (** Types of keyboard interaction possible for a layer shell surface.
      
      Types of keyboard interaction possible for layer shell surfaces. The
      rationale for this is twofold: (1) some applications are not interested
      in keyboard events and not allowing them to be focused can improve the
      desktop experience; (2) some applications will want to take exclusive
      keyboard focus. *)
  module Keyboard_interactivity = struct
    type t =
      | None : t
        (** No keyboard focus is possible.
            
            This value indicates that this surface is not interested in keyboard
            events and the compositor should never assign it the keyboard focus.
            
            This is the default value, set for newly created layer shell surfaces.
            
            This is useful for e.g. desktop widgets that display information or
            only have interaction with non-keyboard input devices. *)
      | Exclusive : t
        (** Request exclusive keyboard focus.
            
            Request exclusive keyboard focus if this surface is above the shell surface layer.
            
            For the top and overlay layers, the seat will always give
            exclusive keyboard focus to the top-most layer which has keyboard
            interactivity set to exclusive. If this layer contains multiple
            surfaces with keyboard interactivity set to exclusive, the compositor
            determines the one receiving keyboard events in an implementation-
            defined manner. In this case, no guarantee is made when this surface
            will receive keyboard focus (if ever).
            
            For the bottom and background layers, the compositor is allowed to use
            normal focus semantics.
            
            This setting is mainly intended for applications that need to ensure
            they receive all keyboard events, such as a lock screen or a password
            prompt. *)
      | On_demand : t
        (** Request regular keyboard focus semantics.
            
            This requests the compositor to allow this surface to be focused and
            unfocused by the user in an implementation-defined manner. The user
            should be able to unfocus this surface even regardless of the layer
            it is on.
            
            Typically, the compositor will want to use its normal mechanism to
            manage keyboard focus between layer shell surfaces with this setting
            and regular toplevels on the desktop layer (e.g. click to focus).
            Nevertheless, it is possible for a compositor to require a special
            interaction to focus or unfocus layer shell surfaces (e.g. requiring
            a click even if focus follows the mouse normally, or providing a
            keybinding to switch focus between layers).
            
            This setting is mainly intended for desktop shell components (e.g.
            panels) that allow keyboard interaction. Using this option can allow
            implementing a desktop shell that can be fully usable without the
            mouse. *)
    
    let to_int32 = function
      | None -> 0l
      | Exclusive -> 1l
      | On_demand -> 2l
    
    let of_int32 = function
      | 0l -> None
      | 1l -> Exclusive
      | 2l -> On_demand
      | x -> Fmt.failwith "Invalid keyboard_interactivity enum value %ld" x
  end
  
  
  module Error = struct
    type t =
      | Invalid_surface_state : t
      | Invalid_size : t
      | Invalid_anchor : t
      | Invalid_keyboard_interactivity : t
      | Invalid_exclusive_edge : t
    
    let to_int32 = function
      | Invalid_surface_state -> 0l
      | Invalid_size -> 1l
      | Invalid_anchor -> 2l
      | Invalid_keyboard_interactivity -> 3l
      | Invalid_exclusive_edge -> 4l
    
    let of_int32 = function
      | 0l -> Invalid_surface_state
      | 1l -> Invalid_size
      | 2l -> Invalid_anchor
      | 3l -> Invalid_keyboard_interactivity
      | 4l -> Invalid_exclusive_edge
      | x -> Fmt.failwith "Invalid error enum value %ld" x
  end
  
  
  module Anchor = struct
    type t = int32
    
    let top = 1l
    
    let bottom = 2l
    
    let left = 4l
    
    let right = 8l
    
    let to_int32 = Fun.id
    let of_int32 = Fun.id
  end
  
  let requests = function
    | 0 -> "set_size", ["width", `Uint; "height", `Uint]
    | 1 -> "set_anchor", ["anchor", `Uint]
    | 2 -> "set_exclusive_zone", ["zone", `Int]
    | 3 -> "set_margin", ["top", `Int; "right", `Int; "bottom", `Int; "left", `Int]
    | 4 -> "set_keyboard_interactivity", ["keyboard_interactivity", `Uint]
    | 5 -> "get_popup", ["popup", `Object (Some "xdg_popup")]
    | 6 -> "ack_configure", ["serial", `Uint]
    | 7 -> "destroy", []
    | 8 -> "set_layer", ["layer", `Uint]
    | 9 -> "set_exclusive_edge", ["edge", `Uint]
    | i -> Proxy.unknown_request i, []
  
  let events = function
    | 0 -> "configure", ["serial", `Uint; "width", `Uint; "height", `Uint]
    | 1 -> "closed", []
    | i -> Proxy.unknown_event i, []
  
end
let () = Iface_reg.register (module Zwlr_layer_surface_v1)
OCaml

Innovation. Community. Security.