Module Wayland.RegistrySource

A simple wrapper for the Wayland_client.Wl_registry API.

A simple client-side wrapper for the Wayland registry.

Sourcetype entry = {
  1. name : int32;
  2. version : int32;
}
Sourcetype t
Sourcetype ('a, 'v) handler = < ('a, 'v, [ `Client ]) Proxy.Service_handler.t ; bind_version : 'v >
Sourceval of_display : Client.t -> t

of_display d creates a new registry from a display. It performs a sync before returning the result, so that the registry is fully-populated.

Sourceval get : t -> string -> entry list

get interface returns the entries for interface type interface.

Sourceval get_exn : t -> string -> entry

get_exn interface returns the first entry for interface, or raises an exception if its not present.

Sourceval bind : t -> < ('a, 'v) handler.. > -> ('a, 'v, [ `Client ]) Proxy.t

bind t handler gets the entry for handler's interface, checks that the version is compatible, and creates a proxy for it. Raises an exception if the interface isn't listed, or has the wrong version.

Sourceval wl_registry : t -> [ `V1 ] Wayland_client.Wl_registry.t