Geolocation (js_of_ocaml.Js_of

Geolocation API

A code example:

if (Geolocation.is_supported()) then
  let geo = Geolocation.geolocation in
  let options = Geolocation.empty_position_options() in
  let () = options##.enableHighAccuracy := true in
  let f_success pos =
    let coords = pos##.coords in
    let latitude = coords##.latitude in
    Firebug.console##debug latitude ;
  in
  let f_error err =
    let code = err##.code in
    let msg = err##.message in
    if code = err##._TIMEOUT then Firebug.console##debug(msg)
  in
  geo##getCurrentPosition (Js.wrap_callback f_success) (Js.wrap_callback f_error) options

see https://developer.mozilla.org/en-US/docs/Web/API/Geolocation
for API documentation.

see http://www.w3.org/TR/geolocation-API/
for the W3C Recommendation.

type positionErrorCode

type watchId

class type coordinates = object ... end

class type position = object ... end

class type positionOptions = object ... end

class type positionError = object ... end

class type geolocation = object ... end

val empty_position_options : unit -> positionOptions Js.t

val geolocation : geolocation Js.t

val is_supported : unit -> bool