Geolocation (brr.brr.Brr

Sourcemodule Error : sig ... end

Position errors.

Sourcemodule Pos : sig ... end

Positions.

Sourcetype opts

The type for geolocalisation options.

val opts : 
  ?high_accuracy:bool ->
  ?timeout_ms:int ->
  ?maximum_age_ms:int ->
  unit ->
  opts

opts ~high_accuracy ~maximum_age_ms ~timeout_ms () are geolocalisation options.

Geolocalizing

Sourcetype t

The type for device Geolocation objects.

Sourceval of_navigator : Brr.Navigator.t -> t

of_navigator n is a device geolocalisation object for navigator n.

Sourceval get : ?opts:opts -> t -> (Pos.t, Error.t) Fut.result

get l ~opts is the position of l determined with options opts.

Sourcetype watch_id = int

The type for watcher identifiers.

Sourceval watch : ?opts:opts -> t -> ((Pos.t, Error.t) result -> unit) -> watch_id

watch l ~opts f monitors the position of l determined with opts by periodically calling f. Stop watching by calling unwatch with the returned identifier.

Sourceval unwatch : t -> watch_id -> unit

unwatch l id unwatches id as returned by a previous call to watch.